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 CC: d|$ ]]]ZF:threads=6elapsed=12.398cpu=46.576gc=3.280factor=3.767zXZִF! i]ŗXf1-) enȈA XR„6_^ HIX̭6 cb޺.\7`P1*+x.3.i%ˎb,8Qzm\^ڴ>$6FN?^Hս y7+2syKCb/ک.P 9?vYY戠Sggd$ "3G\xCtFn-%9nBmY>}i$Dh<&S3g x\7^)s1=1^GRgYZ7zXZִF! 5]ŗXiɟ 1FE`空1"!O\C@oEXvcU 04i`r{mk}[u|nE:AtpF;~K^=hPBgEoDMWnw.:DMmjo F,|`PZ{aֲ7q0 <@n4$A HC/&IF!`qL6y9<;0t@TGYa-ldnYr''i9ﻪ9,sc~uwT{υaH^d<vuErLA¯~EJ&p>oȉyzg!ԃf`$Jy\g;>8ŚD/[1q/z-N%~>֔KoXsX5xEE r4nKByN^vGYt  qVm9=)T?,IkOlTeeVAͷiHISYAvz.{p$N#fy#_JD9DzÀ7FL?8F[s>Ud 5ݬq gYZ7zXZִF! F]ŗXi%GVHOqi $wF2zi ̿* !#(Eӿ{E ǰOtqUg>L,_N6F_3Z^l+iWsJt%[u vsqG/!ξǫ^3'S.TU֑%ȫm ꍨ+8lR[51ްPхX 17.27wy7抰zZsoTӱot./fͺXi,OQմv$&"Z$QߵWgfztd<\X&$UC~khFW*f:N6iɋ.tR߀Ƀ; WZO[ Pz4ZiRI &sV-A`WLmJ-{Rde0&\a"s}G);:J6 m>qn'YTυS8-|ܣS?a 㞙t4)j"lȚ`^,7:~LțG<8Y NgRs gZ/{RwɷR(Ox3բ/wq5. g}尅n9߷d%%Tk@K+DYRp0SRmEZ,)8ȡCzxƢdIcz0 uq(wfbu)Eu>Ant D^oQ~jS>dVDJGDT%'VNwKuEr,ۭ)3r͔n~Ks؊Bfez.b;f05MX O:b 5ě kHOf3f P A 9jN KB*ίTnƐWf7 b/}4,V#DiGO_02*d4ÙLb4 ~+[ǥ|#z49$C}oH0_@ѫ;ꃬR$]#PzÃ^oE~(K-՝l^(D