SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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   | Tt< ]% Topology:threads=2elapsed=7.615cpu=14.240gc=1.016factor=1.877zXZִF! e$]ŗXf1-/6vR[k5Ksn J?=P#Q䦒[Udc$VqURJcCl!9UVoB5SD +;g<\n)HQ{fcpESN"%~0PmҀ-tSv[9':"5?rdqt὘Z*:A9hJ,~5YvȰȕvIL+~4-@ i ~sRgYZ7zXZִF! s]ŗXiɟqHhB"U΅/|{2͐v˦`j=eICg^hm _%SBnZzUG%k3TrAT{cWE):3DgYZ7zXZִF! 1TX]ŗXi%r)F&ϤV^s6C&0bC6Q @B-ƤM$+jaF-^ho)^n!eO}ݞ^HdvZGY`yFM8Z;@`̍YyE(s|p)5_l `7tIo+lba;GE-O!x% vi1h#NP5[ZMtӆR?UE]$s:Z,(V"kYFD=j'3{eD!}_SzF#6ޏ&蠊>*§ ? J>)_tGcT[o Q-`TG;@OcTB2}#G~}UԳ-9P'gQVy`#lޔ{J};BN`E@T!6.P?O12aQTְDȱy_IIT5i4P?(Bw=*コU(NVz9u1zwӳF>%22b"z8Fd)Wѩ>wN ߋҭu)Z?EpEO\ 꼼P*% B]qs&! gdջ#bT$Zl8`֝Z*B0,+xsEN|s/s;@B&`RVn*ܟv{wuv%rx?ĶO[KRXJ.yWk2&6ڹwͅH_EHZ62EѰ1)A;X8Ҹ{ya̰ϙME:b,ϘgYZ26020442e26fcf9ec67fbfaf2e4df1cf1b24c1ffd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03 eb48c6e2a0cf9d249b88b408d5272abb43e63102 21a612ad461bf48581b26356b320c475401416b1   Topology