SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 @@= |$ ] IOA:threads=6elapsed=7.646cpu=33.276gc=1.380factor=4.357zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K E3/"+YRפ_MX}˪|ya2j/Mƹ#jeiBf-_qOju UIj\!k ' c'bGu v8/L&1Я4]-ۿ1L]:=$[a>@e( -v֦1NJA@[w{Y _zzqqb-Vz}T;QK$@1:h͊0I(@7Pm !1VڴZ jQ7B\)Rzq+2JU6j$ywPmQNxƢ&'S8WNzZmV)k'ǹDCmkwxyTӦ%; w YQ&xe!ս^U&^Zw}K|C.]gYZ7zXZִF! `x]ŗXiɟdN'LvH۹$vYeJBݲ@o^b`΀;!vlNC]GN61s O)րa ՛^^:Kumȸ"Oo6i1հ,Y1yf31 ZT05$O߀d f9KU*HJ;*oVJ٩%n sٽtKשbx氞Hs>55[-):F) "ңpN,R馵gU4[A'WVꯊlr"G2* z\#sѥvP+B̆36%aW(o ;ixe}HK]S YVagYZ7zXZִF! &]ŗXi%> 3@[yUNY~&.9Ue' {cy/+} \Ti/Cl&Q_eX {` 臆>j˰ݍְ`%_?m7Hp b6>JO\8$P/Nw]  LQyD-js]-\hPA @RH9{6qz$1ͲI:} )BԺ CӍq"Cc[׬*- s{R Kw;9*JQh7 @C6ho Dec+x9ŧB{9b!NH4:'n)ѝO xw:D=D[c+?[S־2H"9%?H7e'-HO6nGXL)oN<~F s ,3 ɔ̊V6gYYwT!NViq"c}Va3 3`/4w7!=[WfOR}3D$4~#PtcKM|%l.?H8nGr#',pV z֣ cc@q Xd,y E['bjqiosa%e66T* qe{uL1T^Xc:8HyM( Wnj Q;ww m@H8\!(Q=`,Ԝ?qɑ`7 ҒnmDFB*#MWJhQ¼bX+ŎCc6QmY}cm" K t˫okdwz5O,M+0