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 t TLt ] Datatypes:threads=2elapsed=46.988cpu=66.228gc=4.824factor=1.417zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$n;ƁI0 niȸ͆N"_,yl.d@v?N7Ń~}keF`y[SLQ/,r'SR3R*3WnD':~D!<M LnՈ4(,f:hZ[pI^h,ԛf }_a! ᱬ? @ XҤD{6WGG})2p}тvɲ?Wcc{hDl"Z(L-Y 0noRh]"A'4aD]LBo,zl|S5ˇ qO.3g!fO~jJoR8Yը"UT|ˋ>+sF`uԮg5*fjd2'{7ڗ>֏_3֘~| L{f?u H?Xi,KDq /R䘽4W {]Hs ㉲}}P?kZϹcĶ% ި BХRz&ulYIӄE7>zgYv\̆M.c+xB r#i3Y:1+EnLKu@Q0Ϋ" oW pfy\ΗYw+$c<+zړӬ~g 4G)=#p5z3 ~Y2LB<: C``F8b>ϸ aOٱ,4M?<̚ E7 H)pC:b ȳ[g]8GPY}'P=u;K[S5o,Qp= |Vz Bd8ZU !@n77fǔ.rqM]E2/@S\C&c!%mp{xk_n4qbWDAT~'QG%)v6D_C 9ܨBS.ES%0 vg2mǕHra`M/HѬMat&c`YPQD(d;0L> \%zҸq>ܺ*5׭]B`'*/қ(DJeGاnjS{\s$g5:4崈NK ,vܷ~C1 d-[)|sPkϬ- .7wsԏ4/Lb#8[U sI\IL\{<.;pQ*܉|M :kwun=`euO@EGu 1tDp+QߩqQWm~R ݬ%eDC [pߊu3k'(zR$ kXRNx [Z!WPE eVޭp(˛6?Gm$>S\)5֤C|pkI$v|"^O 7 .NJ(#3WXeBGk\mfy;)&%6tf{jD>0' O,Rĉ80P!&'ƙ=Yc1zz>uۇvVhXA 1GKEJ$AUsx@~3VȢb{-@)aXE29%WlIGG}3i%C%v}@ >ԃW!sV|dϿF3w| gd;07KY; vom8w6Nf Xj9~5NXIStfg0m.VO?$&)/ybdyo-M?D!uj0+F'{J'I%J<ʧ'j|l)l⢧eAy> s(_5 v6& ULI{ q,MAO5(dJ{z5%(NgûSDê 3Y6/"\~,XHK{ RSzv שjFu`x쒃oMI!~o]bH:Rⷸ~˛q[ 疆A}~Cx#oRgyF.E?n[XNXKJ耉\!vy>^EAgYZddd48c63c24bd257ebb76d7223fd93e43ea36e5b82ea62db878002abe1f561b243b2cfa9fc698016 3eb7c68d6e834ba5513637798ddd089d7ebc1253 0bbb80cce0914e272b2dc75eb351ae48ec09b263   Datatypes