SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 dd1 D / Recursion-Theory-I:threads=2elapsed=15.817cpu=29.960gc=1.308factor=1.897zXZִF! d[]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWCϯ$| Xnt\’6-6 y0ɬ&(n59zn8}Tw Q,/v8í8_ck¡vISKtBIk|NJT#'#w<%^/4H0qᇦ*X>g PJ̍VV>‚(Q# NE/2dw}q1g-*ߴ y^a1 Ŝ="P=4V ^ܗ7u&==ٜ>(" /ƕD83V))(f7[XlT\0WyX %).û=DŽ'b{ڥgط-o/zExz,L Ll0E-Ƭ|-FHf:DƢ>Ҵ{}- wsbeM & ^耣j5" nR(񣜙_~p IC٥$OS,9deMJ эȓO=7e"$#357Jڿs)7햲vy^2DEA[5 *lb'H5@~2(0"hh'\!_mL]1"C75Aْx>DhTwf@gS v&GD2gI=HouZn }nM՘p1Sŀ zSt=U~TF1QW@G_k Ffo%m;yxt=:JCʷtSa>MܟZ zī~ȷD!v$ |Va ɢC!jNYTxy.S'֕?a#oRB>uYfpyv67nYB[ŝguDHfө{+z̐f#6lh7[橗mqˣ aW- ژ#]ruuZnUy @c\2ྂ' 󎜲Jʈn}~S FFT+i\U"|}$rxi0ȃu##K|˦5sBݚM5 R Hfv!v2g.J`F+ގAy(w YMrvR&;LP3tcњ:r{zgSjM]t˘WBg7ӱgYZ7zXZִF! ^H]ŗXi%gXs5&*?Gиx]b^)kĒ2 ^((Sj-[[(ubj!1q:0#af҇b \:zT6=Wf!RF}Z΀R̗[˱gSGfF_>H6`?v!p 1{WRe/5M"&#"( : KruX11`jN ȥl7HKUm[ݹ;L.h,~d(5OW9Vtguj\>M1/BT[z7HY k,nۖ [$>7nOvc b$z%CL|=5Vv=<:"2~q^EL T:sRR*ع )dq+Vo1A fG nifF0?gP8j1&XL{]9܀Z|lcǚxIήDL c/[w)y~L19ǟ#oFϘXHfjS*iX$Q{6ٕ|of#Wќ!N_39/#"&N2P?) -Di(93ֻ߆*LYWcBKMĖF ہ.pH82x=;1ZҬ}Q>9c̮\M{ENy0q;Z \2\zSZqzʮ|$ܘJvbO ,\דR,Nzuq7yWI%H$Ș7F9fic!O-;"loc`Ҧq3b