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 7 $$\ ] pGCL:threads=4elapsed=21.373cpu=81.096gc=1.508factor=3.797zXZִF! "XK]ŗXf[&.$i,^<HZQX'ڨ5ê%;@Dr7:bm!jRoInt)Ӊ֊;٤NhQKAy/Dʤ1ˏ ]W}>?~/DV9~?x_*(v^ QK#S`H~eNJCʩUq #Hͨ v\gynW)N F$ z"\Z#4?1QQ-C0R:C,MXYP6 32FUιWWo(eMϹ+ftjm(}I]{J5  pGCL  zlt3F&mS畕b绋Ǹ͏PpkٓvH1I:DT9$6+s( xhaTCd8QX}lS(b(d`pHsf֗Yp(H\:fvp m!;3\qjm])l7u{O7z0uiQQgxcE,r Ŵg.Kq/w{w~Vxmbjr[E@LLn@}F Ô;FtzAdbJ\88'"z+k]Y? oGᛪ"uc)N&5?tTIc?VɊa. "5Br7s1ފ7Y|x.N q&;A?=YS#c .J3 vm9Vw]:ѫWdME9, ~4hFf6>EX#ȣ<G$d̄Eit_iȟ ٱ̶9{2ʜ:.(K+^"(ms.Y oVH+#9jĤ:b|3[[ ^F8uyW2;=n4ᗑ >}{-֚ϬXa =TDGDo2xt p=4v"RfD)gԱgYZ7zXZִF! L]ŗXiɟ: e=o݆$ʰ MZޜW]f~ܧʅ`O-c]~zdFVRm *t-rV#~Bj8Bx%toî ,RhFT&[@,AzO<mlY75/ +c̎-;5AnC%qqegy\&Qfk+.0kB)oʍ73w.wE 3W$k_ xY9A4J_soKOpݗF sXZu9V>%84u%{o cu'wK܇8[em? hDK ;WU$SyY 9 V<\ gYZ7zXZִF! ࢆ ]ŗXi%Bm t}EJ{=DnSw((g|v6A+UF3J͇xRUA`G LY ;q°&dV݀ԗ19KWbڨ T]-Ku[G'‚`I-Mqf- 4r:Udp.螨RB|\[dugY g߯M&7nj"p<.nż1S, ٧eW_#gf#\ @>7Cט 9Nlɫ0~Ngᝲ3Gy%6B4I<&s6 ]{E5L$Ol1]ɐvm> -S')[BAJ)`hh.$qJ.m5??}J >eU;&HhC @G@WțRAƉ6{AU%=ӎQ B^(_j4yR<:_f M8h=Ճ wRĘTˎf{j7n_[Nfx͋,dCoagQ[6걙W95XiFcU8Ml񌽒@Y`gЄjց9~aM؉.߲O dYf=ȭP8}I'gѯz.K%Љ$|fJxcL: _F{˄C9ѽ$n15L1>ɿdW[^ƅ _sIðjƳkpfi0-tJYXsn`"Op)0m7Kj0xպڠe3~T']=3v>odiв(^ײP=B* C])3R :4 Ul8x}&SCS`7 c .!tIXII} ;r/jMĥA,4hJ } U H|Hkd n)eeȷYS5M ^ >'3e=,3I Rix%:L^9M%vMD+7u Q2GǼ%m+=xzSC<~zg!JX 7D% v8;&{#VExsH[z' ylD,4p^C_SVNޓe۝ㄨ$OzTD/a!ff1TtIZ, aI;\Eʯ^=t[[OslGkj_T}FېH*x6Ra[IF\SNB9 #Dž cu95"x dԛCn;*n@}N ֕=Aն !=s+W Ԡp[~dssV1~_Fg #y诮+FAY5/Q1RWX$unD^PY/Ej U>a;̑.H&xvޖ}-l,j͙d}Lak/ \W]5[#I߯\-pk)߲w)p6H_~H^ifv:#2VJtDe xeEિRUc׳--&9c>qPZ#,g[/G [13F"$ ejŌթ:LޥFh>:H #R tN[,wNfu_ YI1 ''ڼݰgYZ94a85f26faea630e2022cfaea4d83708aa6ab0f7ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 c8b147bc048e879a9e91b707afcf0f8a9db48dfe