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  [ |\d ]/ SIFPL:threads=2elapsed=51.749cpu=86.244gc=4.264factor=1.677zXZִF! )]ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(GG Wk*r6%C}X,y"6K]gdF-#j`Ź /3QV35U )ٶȞ`dw96d>-OtFzѶvipW T/WK{v닆w#b(0r,tob.[0g wNN,Od= T[;O a)F`6U八46CS!&Z)eBn&qϹ15*l*M/\ pFQBwB]36"JLjROǟJAՖ.h\q 0 9l/PE)EW  SIFPL  asNs dGx).\$q$/XCDm%չ gtwΝ+^2G7aXgsRR n%w:wȄǔ%fDNy ֖4yzI"14#Ί"U&DQx~e]8 Mͺ/dL`nRv惉AHWbu`jd#x$kSroXGE_\{[ \ iP&1$]فbӝJps&6@td'"yKrpB!wJFpk~1 /5}V7txuZn >~Q0,/1AeB6Wt\ _/2816q2[ 0İ[iZSKTpZ*gd@VcGRI7Nl.ݳ-Si l)*oOڇkå9m/ NpK0]H+GKm +O:R tgYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNEMPVLa@ǂ=oHrmNu{ZJ6.ʙcДVK L-euh,#I?v*n~k- C8k|`I9]ߘf !Р@+YGҴn io|zM+˲@ͻRW BADet1''܋?@i;"J'ňo僔gYZ7zXZִF!  ]ŗXi%>gJ~Qaf DZ7DYϰCvfUs'&M]&h),з WH19{#h H:̻ox7Frςy:C\,c|+w,ЉA%88XS/ȳ`ͮ>'ײ2@Q&.ߟR n_ K\:,Ey&BK8>\"M$x<݄7%AѮU0O::`K%u4;N,t&,e8hWׂI_jn;4!\R O_>`Vܖa' ]àfiMq<CQ 18(QQLض %k!9Nqn+~cƼqxIw5*RyDy5=D"N;^) ̟Ռb6QdBx!Qq 5c޽|!i;V.sHTMk~8pϕr<E&c$:3G(FPo׸Lږ:~/ht-]jR㷽} ls qR.;ϩ\IiT$0uz3nl&vM 8OͰNG}Hkn3dڅPR;;7vu+jjixlՇeRv*j`D}*hv,dV M!xzYYMF(&Ygb'*CVo/hXἁGeRߨs)/B覆k˛P9N*yK32|QB;4; u " ̛*r5cuuAGyHe;<~v\ZcƕL RZF e)C/j7XصD1tT\(A촢5rE}^(/9{#l>? 缑(HcnSۼL'VLtZOٞ:SZ Tߴ/Ň7]x`<.RסHB>VWF)l[=ODսLqV3ۄ_Wft6! ~iJ'<Ӫ- M3"?J{oUyCM1s ew E*Zٙ[4XS.D2_[Rau7ȋ[}upom谏8 wDg #ؖN&ިTGbŤ&'%۠]f0~"- #pb/{A w%L3ؓ&f'U+d@NWLh 5B?J]` )HRR0qϼ.r+s'9H6'9[$HI$ad#Y˭͕>?nooC7OFX"8U!տ2) n)mD Co*'G< 3xG,Zs7,Z\fnfd #YO0=4򍍕iwwu?B1_Ze2:_Bf(+ "f x7NKD!(ﻴۦRAWaχrK`rjژjH5sӍǵƽqSwZ4Ll|ݱ==쿉c(!~:^fM`,/(VC-h"_T@byκEب~I<`V B3ʴn4Ր$u(HΞX D LvtP[``;bĖ (`m#KX8U ?|ͭ25fZ{䞸-(O3*2pU(W:,h鳅6 բz%WZiaCU@+8\txH&n9->u/Q.6kvthP`?^-K>~n^H!=FHmZ*J\{T;CNNQχsgYZd2297966fdd666cbfcdbccb5c558d646c08af277a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8