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  / \ ]% Localization_Ring:threads=4elapsed=26.752cpu=68.608gc=0.864factor=2.567zXZִF! 6PG]ŗXf[&!вIփ+LPuD^>xapFP% g}w&TWтk Fi7s+ͣa$8El7Q<5^ԷAܿ2qjT(G~m`q/èhoc5mIzއ5;c?_٢П;w s>\U1A^--"Z>80h25+OɽK?f зדh3p= ܁n}Dcsv,Ι}+EWB(Hy2&Um|dS׬ߋch Z%c]tf2`Gĭ # .e| / Localization_Ring  ׻1?ӿ¾]ʁG]~U CG߭Nzh=.jOt͞nMu+U7 Q5-!PIϾ㹾CPr8l݁QvKBU'ITU6Hu9O",9 8P>Jqnѩ%R햣= +D>F֫W"ĴI[*ڄ?[Fмj=48dVDm;*:3h L6a26%"gT _]y1"agmJ|cHM4Өcx{FiyW;ё;Wl1tMxh:::#.$w|f|c1h퇵P25.uΓ'eph f~]:+eM#/]yC43b`1F #tjlے񉫨wQsW*M] &+t27؋{vԋ?v T xGjY@l+i 5&/zYV==Ztcvī!252~X2ʁk>ƿ<\2v-,]1+}A44zokdFXnx:~&6fG-!2DQP;*f{W;cZ.]ao'pάݒQ(D %Sc/%csh@4qN:q"Y#,ģ>@Z1xilY2ӌ΁ڛo p [կx>N?gr4s_t"4JhR7WU%WStTmq6xXlI)u7EəcPWMϧ#B/~Ԩ)>Cma޲zO C$wןS\l8ہGDDn[nxB,Élp$ @pL1a4¾w/Z$EB197V*Il_f{z at(@6Bp ñ˱XCWO]{=Jջ>XW~Yz=sxž]tCmIK{D 盄@]tԝ$aPx!|dLN[_8"m7 ҲtIɿ?$, ¥\g