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  e+ 4l ]/ Decl_Sem_Fun_PL:threads=2elapsed=43.241cpu=81.748gc=8.180factor=1.897zXZִF! &]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VBa0,W0@,g@Xҗd|pOC|lҫA2ա"]d*tv6*X֞)'q qJ֒b_+II0}Op_S RgZf $&:!-)GE' <8J7V+dp 5Tܩ}߮{\`9Mx9;J`i ͌/ߓavӵmnAuHk=`RxR S7b\SA[^!`42L/dXS80Q Ѱq JZy>GqGt*”'& XnރnIg;l7ɰ;W؀cK!5Axk2GjPhN&QoLچxUV.7:s,Ge:~xvMDGiFϥd#BӎaPCڠKz("Bpd#)Q[m` &xUD˷+ r/=̼x#}L^W01]j@Ʌ3n?~A,_ <nhk 7}<%FeΠ s& $ތΠwUԎ!o:#A~7Ŭ* :L=FkgO }?v;bTRm5޵n7&Z/hT@΃Fٞm :9a҂Lr!3k0W#VG>\J{,|_!;#P' _RoOe*ܒg}1vJ+U MͱgYZ7zXZִF! 0]ŗXiɟ1˦r~KunύNN{V*ȷ**^o1A,dM6qvxrE9 y#>t](28~`r|.*J.mz6^1Y?>[ (u18I|GR3ɉV&9kҦ3>^ *4Dat.NŏΓ]62mnsNo>O̟@N8+ݙXbE]8IgYZ7zXZִF! C ]ŗXi%;CE? *'-5ޮ"D OX;c) ?tKc_ʙVx Dt/C苘4Ӥq s4!;\9KT>q|NDT|q[,᭦?DU=28'hibL2*{·=gή"2*`$)uQOsMJ,B B#JU.1x8mf&˦F6P"h@}sgZK a2̂ѧ. _[ n{߽M?78}  +YFb."wA Cδ؍FV2Mu^9 2~,U/II[/4G-y`#xQ)a] hoNʆ<XknY-#~PGlDe/CǮШ! ʖ]IsԠ9:)W^"]䤡&¶+wj[6̚,Wj8MRb]0qd^ NCmď;nیy<Afc\VP y`E?g׭/'D@f, :15xDؚ\0ڡkbQx_#/5i: !K|GѬҞ^YtR/f$Έ*Xs\dJHN_3OZy+U:۩'ãv9 u2t ڃl=_o-_JzE,YRՇpWf)iq/bEܒS8o9.@?;Ř <;Ku@rbPЌu`#GpҿZBՀEL<<ΨuD(j{\{,{LvJ{!VdmTuQ^ZGvq&gw fH쨥C2j_r >F`i! +:?RY%)E&hw_좬ka@R |i"EN`g ,ɰC>٥0[)+?kV_ q?( 2/G٧9J301I &Gc9Lme . E 3v>g,HvOKc;E?H5 GpN=+a-^TKYbeH V/i*z9seĚ\;c,uqU0*wC#Rz{Q[(ӕ}܆mxpX:GWš@i3Vm NeZAk *2$a|nR Z6T%ksl{^ 63S; 奰W2e@dzWAsê:5WGڴx $ne2יUD <|S "0C=oYwҌuEOB]#aGk[ዎcd>-!㑍aToܮs \RudވyU o/AJ56A:wG!ܫf4Guj5T֌j±&x5[UVRPʳwdm R LP ?-kF# #e+3Q88,Wx ¸%| #:3|EBFb,|Y$^V,5>[S>o5#]WeǴ:+rOx^vZ(E"яűH=~U/u%R((cn@#9 ٹc>IjL3)j.mz7O9q\Q@% Q[r'(4F,:]UNZ+JǤ!?"7Yr7"!eѽkL/`n/jS{cK!$Λ:{ =gԗa>nTfҢoi 1u 'BVW0;w/5{a%m7rO!pđꉧ؜9de田ĕ)Zj} !/8-3U`;M#!3ɢ&ܞ g K/1LqFZuf4US1y `$?)-mxŖz$F!;P:##PFQv