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  @# Dl ]%]UTP-Toolkit:threads=4elapsed=21.342cpu=78.832gc=2.268factor=3.697zXZִF! )]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^\(YМ- x="y(yIw)%br_4:21KtrboF)Ya[pZ(YT;=p v(9gNS )!`ҿ_ | lME%p|Lٟs; .yo+ji6xHQ.yRq\o 받a֤?m1ֹ| w) Zl*oꦗGU{ۦ*wS]-ǔWEO߰s]>̬ ezZpG;ZA ӭQj뻺&Tˮ0i 2jO¡)*:zBsBWhR^ # UTP-Toolkit  | =w;C?u5kg5@ 32z{ъ-t8RGBxp'I;{f"_-V_PNvu D &4^k$_[!K8튥,c,\ |uHkrDgkM6ppàem;N:I"}<x[ 1T8\$i xh;ռ`4Ї**Oӏq)jGq|_ʩFAM6qU2h횞͞pm] H3 i}2MLGo$RL2NZ{/(G˿7 Yq?~ܳVe+&.wefDLFBvQt̉ػ.\ޝJv&d>So!۟tyyUW*N}v\cp 3.D]cڥx[IhS9pK\X|5DG;8/3_ FŃ ]q22~\)ǩ&Z8Oruy@{i4p"9M}iMo<$%|~t7~rBi2zo 0= %x1$d?3aH%y!X$E}؀0" Caʩzb=@vPwpƙw m vf%mz'6VǐBGV\X Q<\R`5fŶl52D^\/\>usok$aJ9nS%޸PzFt8[' 7X3jB43 8+onq.ZGBˬϵ9^jV8l*%.1[Ny6W Z]bPijf`7(6hOհk]秩qKBţ|1˾ N(Jkjeu<-*2jK&Jg,je{n~7GBftxs(_i}1Z<'rO/{t3F#//:2;B8rMa¤[0zUDj>Hz-S}Z" SK] |UG܏CIbȋNBnx>rLȗ`3\hpw숤O4JU/"̹\T5Crj^HaaSVɫ ڈ8_xZ\Hߐ*@FJC_f%qLJ}jCP.Ll`JvX΍e,YxuaEWѴ%&% ۬}cRR죄޷bh-=y+֔¿wLv 8;o0N~Fqt"ޞ%l5F́ U8 8]fhT'.Z,GYp8Л6h.j$W)hE+ㄻ(9u˵͑@u-tN?1ު=NOx@$,{'b4ܐ:5F5%; ,k̇XQAm!f'Yٌz bQjYZzq+H7 J}z8t[ZG\w meZ/i\V6T [+Jf Uc:B ڣ#=`3ʄ g#Hݞ <i܌($z / 15|Z(,qkH-x fkJmeOƜ0/{Ni\8A7c\v܍/Snsc^i-2K  %=#Le3zHݼϙ!BCB`,s7 ͮ;圈^rY WdAߎ$Du7e$΅ނo/ŗl@:gj_h"6\aXIVk˵v="w55 [:GҞ7L5%?Iq!gQAiE%F* "n W 7|Z79DLekMX*)F QOKi(#qY**}ǽTr^&N$azzWuԥ_ zs@ H)nf+1LShهypKN jQZwc.XLO