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 ^ \l ]]]ZF:threads=6elapsed=13.468cpu=47.204gc=3.004factor=3.507zXZִF! uf]ŗXf1-) enȈA"tr-j. ZbNVH ur$ui]D{VG?Q-} m}_!j+Fw,Yi򥌕\䝏{iJyx()wn^Wlh4 6f :b|`l];Vy2 g?EzuؑW݄z-|=Uh~l(Jg$QZ65oīLkQ h)_? _@ZӦeWzTbYDX' |f޶(+m?0D %={5#e'n n(~r{8۽E@ ء)!Uk]l t%m^xl| to)xgYZ7zXZִF! ;]ŗXiɟ 1FE`穵$t_0…~;'M" ph{!0~a>xemvF$ k L:(SܰH[ GU}*n`K0 #4yJ$(#UU FgȎXxGM<=t@8krх&NE2uSy6QQ%Fe,`glR›j׍ă[蘷G(>5MԆ0*aJy<ȧ 83>މѥ+kZa&~VjV~aSC&]faB4/,ɸ0 :%i`.-/oRQQ+Z]V``IDI,+'."fAln_1W +W3-Qq爲dKlYgYZ7zXZִF! @]ŗXi%@j.ܒUBU+{/d.L|7}f1xt!O"d{!)]j1{R[=~ l̈́ J  wh;DAEMwaf<_|q60>$4~6ZoADL2么X,Ju;ǐbI% %D(Zk۽m@f]MqQYm$Š@g/-`ywU %ӮEa+aD ,`gԐp;O=̠o!%')^7T_ޡ0Z"l*!v_|Dk柒ګXU<h#Iio/Լ݈$'R:xKb.d'֥L$W~gܭQ2:Q۽}G\=ZBg0iq&Ik< ?Ɣ<b &df艡r U3<\6[X?1ҬE;s1ckDlP'+;?{\{Hr-¶SFΕ'1"*^UVYѶ05`Oxr/.%}w, ZS!"iӡo-;2h.:sy饧:tC?oi[ f zH/t-w*vxZNOm1]M<%5$UM$f[ȗkMȐWto&&fm\5"-0SIr#fh?+iv-R xY-yBHR׍"(1Yd?RPwHӥh58(XE#'[H_k1ܛZ5KQ5޲:UO4ί1Q[sH^,hS[ <;6 k $>}b=OtKgm.17p@W,mw4֧gcl(߼h.=Ä 5a:<[7Mxjc8[CT#CǴʰEw01I