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 K' td4 ]/ TESL_Language:threads=4elapsed=19.758cpu=63.964gc=2.456factor=3.247zXZִF! ]ŗXf[&x玻C+!X,#o dەKb ;&KXi/f_C7֔L8gC{d]PvH[9 /}*56g 8T}@b="aN)/D.;5 ^vTi;!nKJ0ESSWHwGe|v*uCNڽyĤҞr0-sާ!gea~?s_%t;~)_Ɔ-ֺ{|Z9]q$?pYxRn3L,J+Taأp^7X26BbY F~vA@xQiIqySjnrK =Ǔ>zX Yb!`_r%.͙(,C8>YjOIS,P/(<'}߿NqTlCRuԴ8PJytLvQ%irU%]M B|> mC>$Pcb s|F~u+=CE`:=2Z; 70 `Vu}nt-8aY{Ұ̤in!_P`;*cd 3]?w>ύ% 6~))&o7b&[:'}c{YOPaaɭ(+ P9b@efVxs a?J.T}jPGr 0xh!Ke0Z:ZgYZ7zXZִF! )]ŗXiɟ-BS){?=l1Gh| ~Xh+<нw#y-0ậ8)?rgeލb&psd{ylRTj_~G#%hx-n$J2鵽4!*|e dA/M# a֪X:}.fdr$gKp>&Y&/R;H z9qb;h"<:Rj $ 'dsO |/NmogYZ7zXZִF! .]ŗXi%L 0 LR hP (qd꭮89C(m'￿!x~Z3##H\UEܼDD )![ttKUJ7ߏPgޟtsm-9qcHۆ;_<\>ݪ39͙22c.VX }bN|4ou>hl\߻d^ lƵӮAG[I]4DյpD=-n"l?cB^?IJ=@1w 8;)1ilx2P#/F#>$73'^š$q,m1+ᖌUVjQZ-9FG i/'"Ti1[2}f蚪s!J,&ԫy^fj:e#7!Wӽ%_t'`݇K;a$!;)[{5><Y8=K^[74&QMr,62zidk\1z,dߧi0_q\| odbs~HeP dVn٬گJ T{pH\{[L{`ӐA-Esy?MC\peߌrvTp8Ωѥ|,ww]>Ԡ Ye^eDkꡘlyUߍP:H]4Pr#f?[ hVQ^/~_YjCޓվ^L93:vJWs0R8pfXl`Q5\D7i$w9zO?kA: F6[˅] )u;YZ6ߊ# f^;b0ϛ 9A/V_8󏢨5xXq'TbhD΅[{)^[Zio J*&`&6>ڨ#r3["*c7uOx$W6w4Eޘ,w=GxqNZ=!>!4$\Vv{S]|:jY~CSf "Gԫa /9IɎ\>498K; $i5 kp.s :[I6\a2T*v\ YK^FIVq ȹwcQUީ޸0SoQhrBR JyWk¤rS*2ݏ5pV0qϹ[OO{\\~;yH(R|M9p zC_N:1KzUHhz=DrgYZeeed8828d02cdd4165d90dea2c08a52c792b93acd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 ' TESL_Language