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 7 dT4 ]/ WHATandWHERE_Security:threads=4elapsed=24.947cpu=85.308gc=2.156factor=3.427zXZִF! ']ŗXf[&jӯB: ϨGvAq#2QxOJRظ7J1TL?5B\0O$ b oBx|{f/MKc(b վfGnܗZ^}EYt#m]4*[VӝPΙ5`g8.P$᫙!5ѓvOml?06Cwoe[C*О׽2ra|Vd`f9 КAbaӌՌyt~.N= S[-$. D ~CA+iORV'‚8@~ۆ(_8+ YXWgU]$o| 7 WHATandWHERE_Security  &4g7sdQr!3&vLۖO=\I{ѐQw{1t*ܯ>n3,mTq##&DBƿO ͣ4|'xNզ(EkUkz9q@׸x8gPGɶ&GXIٝqF:tMOt[۹5P\1Mװf_krCc+94IuWrRm;!*W,"hm ; |VJ2vqsyY o[4lݦJ|/PK^)= 311odyƧ h .xa:O$s9ic#".$"D̓$w۲ocOVEGwn$'IUމ47as֬b&!g:5[4U~:96,"^"g@@%]}㝠/N3D~6{D>mNhg 4m |G |*=Zr,[;Jk:Ncf{.P<>4J ^q2ݜ(Mf<4sۚG sgc+xrWh#NpW1ömz.hJT+.ZZUݱXX&!ZnP }'HJ/X[ K678hIv52~ (&C;F^mQn@/.+s3-Amӟɳ?a|n$gDLoBPX`&#G;\ 83Sk=SyC {/l02=My"xGܦ}dqLmiBV#0t-pN},nDoȥV[M? #ZUPJ0ܔ=kY.1/9%|+?MngsGg V$(q id6f}̼Ӌ]BQL !{l$Xf+ L B H#plE=_'\6ܖ"[$OщUXG:mt*D%x8D+]X/E6ctñobʫѢq&8Kv~@zkm݌, @>XؼKRտ|ݴ_WҜ :r%]V$_ D'wy^㹲Nx/.Y-r?AơWa+:ɭݭ3|O0JycKC~ax'x2cx2Cl<"Ά$􎼛+r m>tL.iņH*t!K%c-"$XFhYȹa3kAL_ЪtI٬-_BY KֈoE^djj˜=e":ԭX ʽ\Gj(\G0.ECE HK<-m=KQ+?"AP{N~i= Dn'E+K Ҩ8 6s G_ 0q6 h.HȨvأEa~V7VPFO$"nh)\va>c@3J> @9^f[Ξ>"nmQ"c^L[v>ؼ8ڂni,IM1 Ŏٸudnpާl,abTZIVOvqE`UGe3r{8Q_:c+; kM-Dp KntI\˳:'Z ⳣ3]+坝ix/`rZ"<=lc$ ziǯc8M08Az0_r+Qtr̵|?u;3h?*jٴdaQjÆx2EިzusmB4bSd;juÂ}v)xR` kXU4QK(l/ 1ۧdtgF =xLK}P##6Ol]h͜aMY =tqV8.I;!ϟet ^MQP) #7R/HXV".L.BG7~ (k$60 V {PO/%%p@t[>,B_'b@($Hn %{W"&J ۴ ިaC+CM} cU7&^nڮ9/a#Tz5 ffXHwR~8Z1mNlM.N'_$X8-ѧEdyLBJkmNJ}e#ᥒŽWAS ׵nwQH9;\ ll~'Lkv*v=O|~sSWHs k\gYZa167e507b52baaf6fc8c187053b4d8b63466d6c1ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe