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 ZZd, ]S Treaps:threads=4elapsed=40.371cpu=130.880gc=4.112factor=3.247zXZִF! >{]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98} h]|_ӧM'~bŷWNJ!O$EfYx:4.hb"U>u׋l$h#$ZMءk@ܬsT/dPzygkuCL}=فChvi$ďwZC_(mHE`6 *TfX/g |ztHZ.׃y΁ɥJ[vacUr"濤SLˑ)\GԖ u2qR"97SאZPсEٮ`AS0RQ}=;bl<ˤ'=|+`K)DA861s7*>4H N.͵Gv%ىE7a_ݣDM9 41<%R1pu&;4MzZ*A^|a1ҒD}"{)O$w)h vēq2صCI]ok f $,{ pHf[cY@9]珥_t.~~0AbZ&{ eV㎊l yˀWXE lsFMrE%Rw1"]XɫGZD1.4ָAi|KBLΝ!,S\(/5Po{7?Fbun=g1E䙗'k?@<1owfhl4vi!lPt@o6Kxgl>ޔgFy:!1mprшGeBRGd33br10ԁ/r*AyMj;,Jĵj)ZL-#Ub$z7F|7>(>xEFP=؟i2]UI~aI9;[݇!>N͙v@!5٤Wey@b sseG T!D*'3RFec?6.eaaW1Sr"=gZXOATF!PIP=M751!,~v{VkҮTqlDxjUAV<#E8:sh4I N; |EIi}SJR" B\z\2>1l톯gJ 2Mޏˈ.7/x8!/(}%v( 9ɳ֛tBRc+SOrp{$/_=z5Pؠo$A3+u}mH8pq[|#;B>VHOS,X'o^vnRCCb4%Ӗq(J]GvA筂B-|kPiא\!:ts6z7k[2)0&$؉|Ӫ^;TKI|h\[fI˻1N(iӭYs83t dX-}Ł`81~59ߚw(iHQٞϗ f#cs Y8G痝Cz ]nVUZiޫc ٩gs ^ ԪU$>R!/0,bEk#%CøZAFތSeZnV%\3z^tMfgLx.;>K"[T}EBJYNAg[rGp-fFbZ=*   Treaps  uĿ?5#Yn`ɯm?Dx`!r__s)NX+8ifv ]*7"&p7= h-gYZ7zXZִF! ]ŗXi%GV %#q\/۳YjLxj#;_HҦwfkG 0r~ul'%.:f+V/t+Y"S4}c/AR2^y[Ͼ07 l<_oM0GGFtZ}穧mL6چ % (CW!slsMQm:myҌ.k<92[ G_[rd~\0fχL?t'_W:cf={} 0F%\XOq ׉\o@,P<6{#{!@9I Ǎ* ڱsMna$ |KO)GN֣r_W*F8Aְ  ө?U_>B:߰?͎/iT-0;GM(Nmz0ؽv%zS) kP*zj; 9+%z V?&Ì 8=+.d>Rj_ꡰv]s!MԸM Iˋڀ16wt%hsy kV"ɹqo>CնMA!?ǺiWc-Ψ*T9)x0Jp [଺A@#ݚڥ&lMvjE̼n ten.QnTKc;QWLg< _Hi:,"+xO=*溛їÛ(:2ĀVX|c\r-5XڲG$azHȀ͡nj;N^Ӯv ;T݃n$ozU'fV$BۥO헦QFqp3ٵyi{6\z"^* uC1Ct/i3)Dq5m)McUoSfM8Zfc4f $Z#A1rS96Q bί]pr7m TL]~EF雿 Q^Juϵ ஽pB?ȫ0SuDr3B j~R(Ca*%QLak΀ H!8o}YarC5^+p!'@xl^^27skixh~<\jm]s'2{[:lӟ\[Q2ivo-POa7>$ՂVӴO7fA%Suϖb7N_^5~DKsڽ9 .}A VfRJcݔ{Cr\~UKZyIV9?bq:d4~q`aky=YW% " L6J(?y>\s8z]dFrA4L͇n/ 0J@O9{ $0̈́rabg[/CX[bZʆ)!͋Վx5[Fȑ"l@ʽ.O06Y4,0nUߣ ܓ{M S@--W_ϐ+U7oK(k"]댚'ϊᐝdP *QH'-$˽hh!*e:۪L7leaZi4X >X&IZ['& GJ.a82i bfeYKeEpطUSKcA!]&3tM"7P֧G.nb_:~U? c GOI |Wͻh)ԡ_Kuÿdj"X~=RF? W0Ǻ9(߲w%`҃R7fIq@a+?iE&\ >)aihl =iE\,sHS \1eE2ƨY@+`Pa/n oO:ϛZT4AhG9D/>Ho-G0۽Oܕ:P):*YP|ASFm Ya8'/'y5&spsxXU)N=Zg4JV_La~343]7-Ow깗4̊p?*Rgc4u˶ ²jNoaS_4鷟D$@mcHؚbIg{*\j* D=($$ĤBغ)7&$ԆfhcЇ!p+v`f)M M?ow,s9P2L !ɞx aaH WѺ bq–iJ6޼wmt͕Lgϊk㩂&f'gگ=DqVzkF