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   |4 ]/]HOLCF:threads=6elapsed=12.637cpu=40.968gc=3.016factor=3.247zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVĦu0D,D$Gjp4B=-^]mvGxBZ|".ϻOBiS!8>D`4gK:-Juk`]ML u(v cRU+ {#qPF*pˬE\x4Yi$.E{gYZ7zXZִF! Q]ŗXiɟ>Ӈɇ9S2]k1{ai_*#Y?I=͍n.v\ʻ0b[8kGHs(Agفw2A<: Z;8_`,W;$]R8DZPdkz2Ac`0"|| !~[oڟv@h˱^D)m7B}+.+)9.zϴE!t>S=UsLp:Y vzω,I.VxT 7ÂfXt~c6D-"zZ/hy0$ĸytō<6 8$ƋKW"\<iH4JE~DzVݹyP̐ʬa\d C5*nUg(Wb@9l~80iN$#Zq[vx/X#OE#(1@w* 720S8sH y8"%:(E[jRJb 8Br=Ѫc{mqhO5}eAa#aZ%1,nUHˋ2UbIN,@ƯLjLp}F4CI^$ЅWJ'9G+ *yaOa MAg'p`mF{)-ut7DI88 lDM\ȁg蟥A3WdPn`AL= b`+Xl>;TNwV j ?Nsf0Y!H kJld7v @sذkt !G7C OZ}#A9Bͼptэ\X2J?z:|䓺>zUĩ8#slR2~> 8"_ۛC8`%y0/Φp=xtQwo ʣv&$Q]ta1&On6sL}E㒭zeWFa/s:?Z_߻fhȑ(VΪ1{8Pwr rbV7H|WJpm*S- $M#W#A[ _VX2P̸\[QaAOک0SFM `1įG -r%܀(Wq]PPaSFLZ-5=Vu/mn&]xVۻ(u)YSopqM'qAxzڠ&1ɞ%=Vbi೓C'f~Gs+bt_P,~p`Fդ`z⤍g* 7[t7kv1@.8!>[k*F}b7Od b}agYZ7cdc3cccff9d38c7be955c1ae48066730b51830598b9b9cd6f4fc2e11b47e8e3c434c3dc2faa1139 e2b5f42e7f98c0b995b852b6808f2b8140132ac51f9c217551fdbafdef2caecf4e8e9fb0f3c76766  HOLCF