SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 WW& <$ ] Separata:threads=4elapsed=8.450cpu=28.012gc=0.580factor=3.317zXZִF! 3]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I1}XKAQ_lNi{04BqF2ĸN%GI'ww_g։Ќr.C&cMD8ߩGlu/Fۃi, Bj a^m 'dˊ6=\v;p9 ^(Ͽ!b[d *䉄Qj usJw6Nz[[d1H&mxDR߈0ǜv<ڗ}C),ؖ˚T%zІQʪL@g%s =jSX!|Թ ]ݮ{)GPk|J;tDѓ2vSrE#Ĝtk})I}ܗ%̛"`  TꊆRGp5_Jǀs}zY 9`]857¥ 3LtoP/\(p⚥CVg2C>>hd:g4N} ?ZN\ãFffS ?@HV%N$. B7 V{NԏOydFSbv$zL'Ԃ-+PqfMɿѮdvmywULo%ІѽѪzuE[iy(E)>(~<|a]8Wj\dHR%O( 6ϹoU0wu@Li$Ƞ i,pEܩqV7aTe0e˓t )YbQL:]'ps~͛ Nt?T)-?S!qImք1IXz#k-)i9Kaܯ{$Gqdof{FR8 @o66\zg1?|~5ղJ'# yܶ J2a.LIk'U =Te#HF&X3_@`g>5+u%4 Dl 1ܥy ub# 6"ų}`/řESB_DƷe#HB2q༛Oc%o fPLXOaq1b*6цwPOʯC#o.!1𸎞EЗpM˪?>bMto3?GocI{'}*}5b"fu:[|#o_G VqoSx5Xk)9Jc~HF Ev1^L-sx\b:;Cyc =KӢw:6r6qD&KLOJ! c9W QCpe.QKY PBԘH9w(p:<2 6VW.DVWB] mgYZ7b5c6999d9698a24340b147ed219450fd16f8a164b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9   Separata