SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info rr+ L % Secondary_Sylow:threads=2elapsed=5.390cpu=10.172gc=0.312factor=1.897zXZִF! I]]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃,jn^pAn ]_e5E5v!S{7wE!wL:A<6H.Ŷ3)`gp"jqn `<_jfIqÄ2w k]18378о=5lgkYuo_Vs(SMzm>fFJ2j`q4ꊴޢ K<{'Vu+<+8۶-j#: hK?/庞gtŔlw6H'ilL7ar!W;wr-8yڀL,u/ G8&Z 1pJw? ,:q_~#2!p%RO&$~(Uuk[sM:f%Ȃ~(ˠ_f@ Չj2تy + Secondary_Sylow|^@!#ܡumVpwnW^?|Qk{1Njimj69@^:ÌNJ y r͗/0K1$X)L^?WߝD3XwSU]l? IOY@A.rv&"–✳3v7^&] MxC@{H!K= # ғWkѱgYZ7zXZִF! #]ŗXi% -ڕٲ,;QcΟ˄A;󔷺4G4ܸ'iF?ve(2D3aȵJ! D5K&K8a`7,r LWoRKNӚz뵃]>Jrg,@6r/l}*r&+ Bۃ*4K2_!?vy"žgWiNkW #fjqʼ8srK0Y#>o+r8e;!0 D<92&.`ӫ,uo% a_Ej7*x#XZwvLYSKzEo ޟh>kk˛iZhSN ɡ.ozO޲4ˊ!l90ސ7C)lHg !+Jvر`5D/: )B)f;;zwA;H^JmKC0rWZPs7# DM\aZ. /@}/ -% `Hц| |E FSgYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 9016e70736eb12e7f8e98edb02ac889909110f14 c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f070d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 5f2de4117118ea319d6b6d7331e3a51b6c8fd5e0