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 > ,lt ]]]ZF:threads=6elapsed=12.217cpu=45.968gc=2.676factor=3.767zXZִF! WP]ŗXf1-) enȈA XR„1RZNMDd ZJhG3ѥFd_!yZ9 VB&FNf[QT0y-z H;8G2:ihF} 7DLפNg:TƩN|x+Qt8TcaHD.gH3$&LPQ,/ZJqwKixֳMZy>΢TnJ6 f!WCfML u3Mp#`U%Ѱ!}8K|ۑwm1.CIZx\#T _>hy{`niKjI B`hx?돌7xĶuD>/NZ⮭}-3T|bgYZ7zXZִF! -]ŗXiɟ 1FE`空1&R *dG;%Y1y bmК< Vbɴ)*ڷ>\!opfεdۗUn\qX[P,V?^=NqRCąOH_K.7,T5E˺lh>,#ƻ)9O';2֓sk]@@_ӜU>#aJd~Nlg??&+cSt?S}Hu]3rt\UQ|P1wFh(~jEަeb":!2ʍ?EK^L?PVRO9*}RU޶+gA}SwcqafY@杍ba#`xYNU V\ ԕfZ#tgq=m*hXbp2_2|1#f T10Tv"S0Rh):y)w=,jŏT#*X  d4(r+ e`gYZ7zXZִF! CP1]ŗXi%J~m ;V ȃXֈn!e#Z%0 B׫z,eGCwvR/#f4TR(͹Cn+wGf5 R;Fvv@VHT8t7HI?_Ņx%بz'eh~+ զ}jG$R%jC`FZl2[@e¾R19QH;T}^ po]^+i:#;Zv3I9~\ڵtxp~kr,ݎD4^ilWoQ|;ah!^x . Η0 řIT7V0@|wWQ>0:bO5p9mhKjN-xUBb;bVjbh_/-slANkivlpI`&|؂[L=KqZܛp"ڷJ-1HOP9v$Ľ dʱ*כq E@*`Ltw`(ԕNN!,rXG%w4֓$%-e#y]2Q~3T̢tw|dM{R1:IþwD{]44G&a4! aFpsDE(Zq'CrMVZPnry AryVt}Uq!J=AZmrhYvn L}ݰzr $ Ao@z"_RWKI*xSn F9XT:/DvUK!c҂t]BQ'D0ѕޖchר? 7yn!!EEѼ͖%Ɖ)$bG  cl(vMmTJ70r漕lNZsZ pMx5bt<-t:pUWV=l7 ("T5)pKSϕ-7h-λ w7"#WA/ybƄ2=fD4@bʍKx8prn* @%m5V/5yE(?ܷX|y^N9P߇UM/?ܞk,7 iSr̮Pmc{<;'+E\edKnm.Ѹ<}n, \zdx,3'~#;5;?iF+Hj&ڗoV]'b~에 _" ٷ_s~XN *`Un , n=D? LtN< *XуUXp&؋hY eT-'M g9H\D܏`TAk>#GV3OϻG{iszȋ@1 n,j fdѧjO/~V LG}eH6 Pp8etȬ+p u6GD/ (W9(PTݚ7=y}oяQCxrdl‰_\.$I ц9ɱgYZ3c49e95799302ab5ca2de7524dd187fbc5c9cd9ba8d2b2957cf6386ef71e6190a6c8f3ffdbb4122962b481cf407aea4a98188bb0e59aa9ef3a83bd39  ZF