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 m3 T ] Selection_Heap_Sort:threads=4elapsed=6.283cpu=18.344gc=0.496factor=2.927zXZִF! I]ŗXf[&Qz꣸J֯g, s]p,БݔBM)?onq8_3CxLAwG&{L<8lCWgb䧂?(Mõ6E96d.إ丄hZ[wS4y͌VGI0m(>d5tC2jb}Bh#96B*WT I>쫅 Q6,o4QŇd-Xb KPp8jyI]tz1v_ٕEΩe~/@AX;#pavqr,zLfS.:58I3WU0Y∀j0ǀ;'gYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj#(o *SP3k2 _'1/.[c?AJ^ <hp{ҼGbkoEAّB3Z*h'~t 4uNbBc <f 47ԍgYZ7zXZִF! 7}]ŗXi%B۾24 e>_2s=#tVJغklilubޖ2\z"6ff#2NLB@e0YG\#G5-# V(X&"*ҰW$(yuNc[!V6c_SЫ#Z8Q|(*uX Ձth 3o 9;S!WgN T,D{V}ZߖJa|%.o::%L󇳟C*#4`Cho 0`B#U.pCGJuLXh%r=f,?s}EV\!c9:ggi_Xt鳻2sGKZIFE&pCF16=m0U JtI-~章$ 0ӪfMTLhO (U'/rg>(23`)4ev݁z«5DK"R1I {+udھ'*-y%msCg"9^3 ʠnNP%dأ㌩mλ #wA*)3 xY `xa:eD1]*Vlˀ-+hwP"^R &<>:74:D"ٹ\xVAqI4A?WWnO ܩRIw𵝎˂AIjzoqVgX:b#Zt"9I*Q(ـsDMN2NJI\_K;fCKX [i^2ZO467{yTn@5ۑ~3sj+@X,}Z,8Ƶ?(e(fB  vmߔpZV`Q3eD1S-XgYI^NՓ#_t8햤Ut'Ǫ$BȢnl_*Lytd"}ƜGQg!6rz0#21dx\ 2n7̜Lʴw .[8Wz2)%F+KD*@}JJ))" L~*"Vu|  e|/t WaWxxAkI)7=d~6yzw