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 v/ L ]% Localization_Ring:threads=4elapsed=26.674cpu=67.572gc=0.772factor=2.537zXZִF! 5;<]ŗXf[&!вIփ+LPuD^>xapFP% gW#|7bD~IPVzYh4-х˞>'!}(9MX{3MB"xn:4 ̃DD$܂|{?#l;0SG@ s@w*=Ѩ2D9yc^֒6Ru4DS7873a̠ąoe^7.;IDOcBw |Z-羐0gJ8i(5W?ah>C,t`bB8OC{rwUH8wwWn2)rgk!Q ㉋]-݇@pH[9nO5Uz@4f8y>6_hOF*KJ}$sv ,62tڶ-Z±T`JlmGx[(|#Ш@5Bd#]ci!{8RxsP^zh~`>}̈~'d||c0ajph^i[R|b'ċ5n&vBLԃ(8߇o46~Vw4.کuy /Qw|M=Kkz.*5"Gøz& 72lz'ɓ^V?aWϼ3h֭TH޺p>\Mwa?^8+8}5P[N\i瞃vv4i~) (P,h@/ _ו]Dg6~( )SA#Z-"U:@ 7<nBFVgziR&jgYZ7zXZִF! RH]ŗXiɟ }#xLG_^ }@b@<Ưf^8Ԃ0. 8o:5bQ{mC_`7BM*Ϥ{1Ȉ3ERf DI4mGXc'_q%Mߒ(y-[-lA#hit^w` R[_;FM~ 64䞆wشx 7s0Ҡ9>,6f;cM\ꮂgHH)KWS;eRP.<<mV]F[y>cc1㑱Lhrq%u)_H~h% ҵsT{ iĘ;IXuNHxdD7x.D$fe;'YLY \t:b@xՋ?= k۬sU6M^[P| "V*t4Hj1 hIbJF{״M hNՔ0)"zz@[ =+CHX "7)&+B*٣2cWc_l 7?P`ZUsFI)@9UזV>"~HӋCDgiW~+}uZw`vnX埆3S.{Muو!o{2@EcJx>u%bBة|4Mu{ ~h#|ڳX^.·ՙyS tiK`~qK_p`8_z)%yZzD’v^xtŢfI~ql͈m)*"U&g{}hg~Bd)`Ըԓk'D_ 7}NqD6X;$!04n+ʢN>NrtNz*.Ì1%rqu"/Yv+b3 hn.)gNm  f]ȮU[HOɪz2ujCc9_Kd3⌦"%afrIv㊖ɶS NGe|=wE75A|J20|q Ɋ,p"ǹh {_.6KlvDTU’u& ^W˒mAR!v{-Z([uY\aë:L9p\F pg#25kqnPiM)߶rm&Om e=u%CExۮIHUjꖘRQ6k_y`wT ZT Q%N `fg;tFo\c|)%q.;N6qwƱ;,累M]V}BnAbE$T2]4a¦H;-){[9%0綢ݿȅpYY)NZ uAڅcj}Lh=aTQ?_ ѓΗu;'}zDt[C_Ga?ZkwZ^/tu.DN@uπvbmr( 8J߲HPX,WxWGMNLgg&q4IiQk$YXrt*9%L^ Yi2)SVԤe⵻,tu#{^CMA.P $_ſW LdKJUt7-~{:j@. K gtCS&&ZAHަ$p{~jQ 9: