SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 [["' dD ]% Tree-Automata:threads=2elapsed=34.551cpu=61.004gc=2.908factor=1.777zXZִF! l]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXb&Ǟ?K1HNց9͛o30ZIhbk rTHZ kꂑQ6mG%6Ծdzu1K\%_ǝ˙ U9MH—:Q`v7>;tL0BҸ*͚%jbd$ a _W#^Z8ErzSU21Js&y{Ѫ,VnPb"6OF5{_APwMW&sQ[w\|q ,8%&L[6J`@;s=?Ȯ*q<0Jٖ7D).5y\R;.(#qE2 PxG$qF&/Imj,kEtEho+9M5̸ԚgqtC;@fK*&4uكQ)/ ĩ%2D?7G{%Ą"+ :gv˾ TrtLX=JviJ"ǯ2s{$EEdQL,3?@!{yaP#ڟ\Ǯh"{F&\Hyma}ƟE4QSl; lbb?S lge )h1!qe4ÿx!- @#fɝ=DtNYSY.N'm3uix͏T4PYTg?/ ??Wk1ih5((KxlK7ω$S2БzFaa'ȶXH~?5ߓ:hgYZ7zXZִF! ]ŗXiɟlAC?H 7Nz $̊e~s;o-Uި[8Al<$َTǢw|{N7,lc S}I>W,x4\ڰb)P1oqo`)W CFyTϖ3W3#JXZ=y4J/q}b>nyhϼҸaJRQVp^ei 8X[P{F8 7QY])yy`h\z%jenIgα<(#b1­g,Q҂Ҩzm[g3tHZHV[,t}8ܒw͊Lh_|{LO~Lׅ>t"lF&B=*Eݨ3'LZUm 22eli)~pM81.3<` n q($Ash6;׆9EgMSp}tŗVMZ;,Qaסުe1{PI j%[lYI|0Iwə6e4`z099uQZW(AiI/Tm]DkbCA nJ]͖f3Αu^/v5P&eoBȗ'R-%Kq5c;{`)5n);kXMNZ_F?Y rCﲂQ8~>@3aq Ò;4Z58RHxr,)[<eÝö䁭'a.jX9H 8+s=Rn1pu_$ͲN4tS! ݲID諏7w|MqkGp"Ca/F;Gh[=ă#Ȅ{'9l~B.V w-4M[. SB=fR7hѵ fIw AWm$ ׁRhRr $ju3ZaŁv$ =y3)~0 ċ~Q,p"m'xFe(󳚔|EE7+Dig'XAƇ"`hX=I%hXxQ'c4 p۹E0lDeDR!/2.Ŕɨ@K~6_'_+(xU::XC>A!8ȆlpZlQMs #c˂XN6(:=̥#΅#Ɨ3dPxv$U=`i cQEIMA!&O9Ɍ\.o(Eo$^ FAwYp3Sd,HH6)F\b NpTƜPB񧻐c!8#OVFɤp-2-j4(RL}C9u .xbmLĘ>|Q6KiԬ^0{M2,sl6 i Vzo9fv%<(e(rWt H!cb3o=Z$,