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 gt S Cartan_FP:threads=2elapsed=2.137cpu=4.020gc=0.072factor=1.887zXZִF! ]ŗXf1-/6vRZy_Î:|7^qˋ>OS,4uH4NJ˧uԁ[@ZUD%1- fJXDTW Jk-RhAWj"0Vjwo3M,nahǕjLr} (IiGS̲I D{|H̏ r w=;ͧ1N==#QG/#J.E*]Vp2\Lkf2/qji1gpW]bùHz+JƖ5o?pG(4fЊx_pX'ipEjڛ[ܛDx_O+CU p[ͷ)#q ,k   Cartan_FP哣td.uei$$:4Jfgs/ laf,PK BPD8 Nxfw½U8G#TW2 ty0f@5KŬ&D;dkCPĿW8_}% AgYZ7zXZִF! ]ŗXi% -ڗ[,Xs SP&IEP, /Bd ݸTrݒU|]ɛInv+ \2S}0V吏{+C2oYRaC`~<.;gx/pNӀ}G*``vygjW6) ڌ瓓&uulN[e÷9R-d ۿ9zL0Y (TH;cʅBc!I) C!2d8秈["2;4Nb TFx~cFCQf6F*;Xz)n%*VNXͿQ"84loM>4%lE)\$3j+0/ʣϩШ_!6#A@;2;!sZS{S{!wr⸥K`ŏZ!2Q)