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 v/ D ]% SDS_Impossibility:threads=8elapsed=31.683cpu=79.895gc=1.952factor=2.527zXZִF! ]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,x6ߌ19?(SޖCH:Q)/ m.8 p>*v!me2*K;HƳ ~:]o>ŗPȽ#m S\^w|_rH6a&;ol ˉ#i~4s4WoF{z"_;rX$mhq9 j;.vJB=̋A FLZ[Mr{Ȅ8yN;NX&4`Gɉ.T+a?Z`+,).[C2=/, Quc@6p$ ̛jL+fðȒѭN/I?uNR ^幃ht@~럁uځ'p{R( 8JgYZ7zXZִF! YJ]ŗXiɟբX LT9W"qP}G Eyٿ6>zM_k ڕ,Ucu? /C!fZ}YZ7zXZִF! w ]ŗXi%>t{ٻfVs7hj 7;@ SPV}Rԝ^6?ޤQp%ΟV" p$9 6t3:VEVBpITٍXJ/=O} ;& 5,/>GS.ܨC5jo} >RYRݥ8bd=ЄdD"JWS;UtgβhjKŋyb4Ŝxc γ'dr7r 2FgpBֈ#T0J %JKyC 8ACl oH=ƔTб+e)~#$&l3 GXm zGI9&xuqQF:2#u=G3v{RG6 ~BNգIa=*E ,W ,0$=<3RlᣡQlvן"V]H8e;lKj4umq䆥=N 70,d\e㮖] kbPRVn= NV_J*A0#5;3zM D;p^k(_-MPVhTS0-cB ٍxp nj#lEps]0/ȯ.X{T=YWϛL$iFA_,A 20g3&s5ǥp 19qfQ,f6 C}]O Pcas|bWF6 :9.q')CS p\YN@'U\/+|N kny%eS oC۪\3‚P!/>AE50/%4h fXtBidQq OyaYQo