SQLite format 3@ .  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 / l$\ ]% RSAPSS:threads=4elapsed=15.190cpu=46.984gc=1.224factor=3.097zXZִF! ]ŗXf[&$'ٙ]Z}_8K&,WrCD6\C77S \XeB7}~e@gMñJ=.7~o@AZ'u`:ރ(8QبD&3C%pT"CԧZ۶pjx9^2陒ABݔMp`, FHr@t3x&sLFJƐj8.kШ;7@q&/[OBvIƀ58/>R;LU/Fo3׉|\&LtbM4 Z`H ٢ԎķKNtxyȢC'2S!X#ph[\}…'G(Xl.)Yn=ue )#/*kr slVsqc`(n݆}9 kxh_52+םt*c"ˁifYd0tߥ^#ɦ8A? (z#D`Ѣ,5L|+o& iɖ#_Hw,4OAI%a?OxDi$@ z-U)_0hb&GbztW?)eT}Ѡ" ix8;WՓ M*c?ݶZ.A y&+ORj[䡣8ZH&;H_u=tx޹=$*D\3gYZ7zXZִF! 3 ]ŗXiɟG@~W/o&1-i ޴R6ߠS!t nݷƶGǖ-.ڰt˅q%C*\w= 0hX2kQ§ؘ=]p|u%b51^B65]#%S57歘9fcu,Z%UQk#GL36=VXs+MQL/FLxFUķhl?D99%^+gYZ7zXZִF! lg]ŗXi%Bh/UZḱ\#swze*" iz-dBT3f?.~voߍJ|bmU_+k'#S/rʼnEAĕryhu ^R3cjd^!Ɉ؛L_a`q{aeU"1+_Ɗ#K g|$--5/= V\K0LG>$yj^mqzRv?dgi!YN5%{#PLmBTvMX Y$nm:f\\zzH%5tg5zNy8В *4VSlFΜ&XCK^ x?zb]]fs~dDtw\7 Tvj;)k$+1rT*|xl3=*oW-,*|kqǛmIs0 |:+]wqa,ϔqJJeV_3$؄dje$s2L.EqcV3_R`;?}ENw^(6WGEqJLqz-{ <Ҍo[w/uޠLŘ)Q~wyi~h`ctu0< UuuqLrR(0MF.@ЌX3l0'Qv2EÌ_ ԙr׃U&!12.W4V[bzRDΑZp ^aaAG%AڔhPѩ!NEv fGm6 dٸG3mL%mGazCmr&;^ǪMjU͊nV%r3CB,WH~ ۝դ?|.5.m40rIi)BM; > h(wʤ;q S礍(_[8)^UpnbA