SQLite format 3@ .;  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  d, ]]]ZF:threads=6elapsed=12.155cpu=45.996gc=2.748factor=3.787zXZִF! E]ŗXf1-) enȈA [bYo;E*&ú[J6:l:s֘|yގQ6EN ГT/4>&8kJsցTݦ#N-H,>p}7?ٔ3JW):bm$u:=@W yB1eƄ#jd㼵ǹxAJV^,@ћjik`9sJժvYzsrQ:yXH xcYl6i8IDd,.ʼ{@͍-(&U]va 'Eiʸw KryB= ^k }ϸN{g {\Aْ%%ZHG{g 7} ͆YfE9&mHwvƟS~+ @-S%g-h?f-dܻD(és-9Qn~NJvOKsU_5"x1XoFFKngYZ7zXZִF! ,]ŗXiɟ 1FE`空;d,"$ԂWrRBM\fD܌A/O$X|b :KMP&<˂ $Ih~'@ngRfn*gѹZ7ڤvM2/ܨo Ggr#yF or ȬKZ25҇'j+&_.@LbMá :8Hk vR0A Kӷ2x0!>>3֗9k`ljUBYzP!>ń0 c+C̻Off1hD2 *^TvF+M)M&h#3D[(G^:04(^pkoY7n|Y,Ba Epqι:`0$"PbE.?K(xÅ'%X(Z2;?Sdȳ'8`㘒Ch|zrj%05àgTggii no{x&aEkBj~8Q2{i R=)CJOH"CDyJdo%H1̋gM2;;aMȘn:H$OgV$՚n3PU=W_5s<)Zhw[*'fdp 7dqˑfv1?1.OuZkz(h-u*s~ *pQkdRގSbI]7qҏ.uYSv'UEHi{8?j9yPW1jo] Ϻ5aUinȠf>E͗Jz7VKQqZ2jW$厊*Xzץ]X :y^^]M( P6_NMץq Dc-l!wT%e;\^&{ϺG߶^[Z'W WYFc;G^iJYtr- ƮbV$"/ >NLVǕ`HXQi̜"-g-A7?>M$@h:!Ɉ|̑>4]ru%t&5D!^X*(z)ez u!NI2$:X_73G.,Z gtߎWR^F|.eFȑjecqƘ'ظ8殂wJ\K؍.&|9ׂwf&(sXrP+ &ql"K* `fPh2^jp >Dt?m7srX^61cRH:@mKۯW6fY"'R h`>s SAKnLWisPxNde ҈^ubYvuD7 ,k} %G@3F|xB$H@oԧNypZ&x%=3}՛IP7 j]