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 dd L ]/]HOL-Word:threads=6elapsed=9.968cpu=51.828gc=2.556factor=5.207zXZִF! W]ŗXf1-q恈eO/O4Eh?>R[G޳Rsjb;ǽ|c7\ŹsV p\*,Hɀ/yGoꚘE~ڲ_7FO?sc8s~(,bo";_ } <¡'ދf~;N9Ԏaxqh@㺒a3[mH2`EuCN3ߏUJwёqy+PJwH껃{h|;KYa5"0WϜ4 {Ah^OR"[}t]E< ;# vxHo|i]#C/VH^ :gƺy\5V:Ց1Hc,} ߹D6!ش&0bb AAΉZJvO"ʫJ3..>|koQ4I͂c[@ۜH)1>0..w&gYZ7zXZִF! z]ŗXiɟ1}?3DDCBCmlTmYgS74:^ZK˳PÓԫP›Xhji+PzG=z&<<|$ މj =| gbe>͎pE>WUuz~jT;G "}gUW%W.?\ gYZ7zXZִF! 8B]ŗXi%G^ZgC1ܩ:LSJ2a zPM$K!V_*{h'/b>7w)HcR c`4Zp+f4.x(@Qk61$ˠPg=YE70>-GtX2AMߋhzivk~ +don%.SK*VlV#fs~ʥOaKjz4kKur3ʎZCyg!|sYj̸ R/.egR7FlD)c+{ACt# t 6P><84h rsmֲ7%(AZ2@caiɶ֣LK>.w#Ɖŋ(^5m STb!Hinp4MU`dE_{A ?H88l$$4?DSqӄp\CY^/!DdڀUںp=s;4u ~kG6D:SZ KTgzZQ8l<rT'XʑփݱAZxN|%6=4~-Zm$K4}[jQ r%zg1IsTwzCAFkvHP܍Ҫ֋W4X-ZIFK\H֙Glj_{xrzIzT2^Օ# O5 u^ #zmS<.OM$HF)Jְ o^3j.>!`5^/ɺDX [N!ϦV