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 M ]/ FLP:threads=4elapsed=17.570cpu=50.892gc=1.764factor=2.907zXZִF! ]ŗXf[&l @7d|ĝ?PqF.kK)I][FҋTJq[7#ŗ#k kP`虹uQb{#A5qXĉV#VB"Bq7aBb<9݁mgsc\D /2~;pX66TK{=HZIbeF%]$:(߯r8Hs/$m9[Xz8-fr4Zu'O nsL5/EtI9!MVnۼ9' _|^`'6+),eXV+A$Y1!"\%Eǡv2o"Jء16¾G`s&m1wNCFc4 ̳6!  Of?g:dz 5uZp#")˒?moy'^;  O!k<=$wGT6zm;ӎՕYd.e%ĝ]!Ȋ;n̵S/#i%!1%YYʬ(m9 LcS7u;P,He: Fi0fc38X82!T|=ə`, E.g(V-Tm~{1 -E Tz%ݪv9kH#|F87=,ow;RI< $sF'~o. DgYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝMyUbL@Q,)h1>%lU؛hă!P6Sc! MG~<!'rN1SAQ;HK>g e`%z}e}$@0? o R[u|3z?cFA@@gYZ7zXZִF! xC]ŗXi%L 0LF/[͜&tAWީJP1?ֵY >X/J@$:DJ`&ZQx8PERX?G@oQ\T^X-Y:Y fJ5W^J,YI 4](zLZQO̲>f6Lkl[y1!cW.45A/hJp~F .|;j*PU]'r]LJ82w`( !mUܸoiUiwK{A)s9_S6UpD_M=@O}&R+OvU*7Mq6ܼDO]1qa"-7t+8%9*O]Y~IԾJ7#w9JQ!\AT}Wm=`0/ ެU).PIֆP?L֫./յ\?0EAxRiwlsY rP9Ub:7R\]d?\<z8o:N]~\ݫP;, f+:ΚMy 'a5!/&?ʳ>{qpZ^d#tMHגso)"NJ@kڍ2R[$oC@qzRS^*(ø 6zzܾzt&] G&(٦{Uh56=0CV+#b[l~G"s/7p"&!U *jXÚB (מҕ'>K&:&~ 8/롼mKI8 T+XҞ.o*;{$C%Zd|sIѨr$P4y #1(%=ѫBz͙cw+EQY4ÉƟ@m\:ֳ="Q? e.<'S.MhO2#0zkJ 3&"8J8$UR3#@VW h*^Co-)үQxC(ayMy!AgkK nߍ🹰/4w1UOK0+mlT (|oqT=EOxf$ 7g$`'-c@DVx%">c߄?-ƨpfԑP?lԣK]&K/?y"t#4Y3l#XUeİX_@A4;ed ɛprܪH~Ig_ӕr1gĢ p#G+2/7EJ*On]{Dd1kt,nmܼlpzp|G8`.1=ei_;YN5 |g3h4bric0Y{JsCDZHU(2~_8pBIV!~<'&|TiTmF'їCg^-5J2;ߴP'Vf>&V>qÈTCt,\=Wo{:Ԡf1sU4D9EL4PKw?&71wmRu2&DE5MI)c𣸞Ii!)#K{s[~`6mUPߝohۍv