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 +  | ] Cayley_Hamilton:threads=4elapsed=14.310cpu=42.856gc=1.708factor=2.997zXZִF! ]ŗXf1-q恈͐7ӺV )' (jև[gzmIDҫ4&Ի?Y\7_RU$tHRkTC\ԞyڥcD8ל(&3PGOJf;~ 8^Y[|],E˱)Ĕ%iv2XBŁ!M`p ܩc~g:.4.X`7?'`ij{.\Be1lu'׏Dױy2bZe)sЧd+:z|%KtMp T'n2]7,$3O~0" $3 ۶q>QņbJO|:|} "E.œyԤ"n\Gy$C S'cC`mc-{c)~KRR%[TV|K~i)LԑI=BN&8{~ SJh#0 ^$7YfSۄ:1V?zyY:; @, Rs\A)P}6tfgo̰;[{<s06v+]DoooxTMD-? I?:՟/h+q7Q֐w߱b 3F0 Qd|}Mz ۸d >8,]~9iÔ>m$ Y.\=29oH]LН#P d Jډ8PU?ҰZU,ٹ'lYxPy>.]ѾLLϑg[%kn2A]DFzX"dTChnc;FH*q闧„ n 5["C bu7e14p@0HNðCc*=B8qi+`J'JpHgؕ7M5l)?0 Q3,뫈.h@*`Q,P)gJZPRe/0 a05F*u̼ <"Oʍd_W]w|u 4r|. Į5zIyX6PY hc{;]Vv8=^z5f`-'}&p\.)VHMΫ_1 uzQiN|YP7'Ծ;H|'d<1DN38,.96,EI*3QWObtrIEܞ=0 CyE+I`갷IӐ܎Yd6y2vo RJS#{} tGxEjfz ǟdn z]eՁ9LD&YÃEm8Kѣ4!R!c<⋚ytm2oH!KG壘-'5fK9q1IlzKh%224 Io[=wPɉg9;%+*d Ti ĺ&5Fܵ)&uCȳƆ2`D̍3 x " Mm۩f^ovQDj5X^Ūez"C~(`P.]z$n.m?p˷$#ɉN`NT