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$ ]]List-Infinite:threads=2elapsed=22.188cpu=39.912gc=2.268factor=1.807zXZִF! ]ŗXf1-/6vRZڕ`0 lO"Eum=rk!Z|zg?z)ᥞw~al/"~(W-FپD3ڳ" %5Ky)ʹ/5p[}q[I b&I@H0b䵢f2JNR>LKI\MvݗY(ntQ4.D/ʽc#p0}BibsA @@@QGN#W" YgXvSS|54͋)ܔ['6.TW+̄."igRc=FKbP# ~wPfaωY>(vᄡ@ֿhBrЏ?OئIyE\9`8 RgYZ7zXZִF! ]ŗXiɟFTq7`T9t!VvMn2Eڈ2!by3N࢞7S-k\m8 !,qVIwU)Q=Y%0 (j+˖}`ONfZ./E.5'r@+mHy؃Nm";SE 5vjHZӺɽ eP Z%DB-FQ!ysl幥O,x%cIںx,c,[‘ #ֱgYZ7zXZִF!  ]ŗXi%>g}!E--϶_y"ŅgS@5(s9N@3LoR=D[f_!,`v^_nH8)v./LYHWxX~]qo.8rnJԪl'InߜZIpĹBt;hN_*zz?w7zymYnuH!ſЊΫ#Rt53֮ Mf@~1i6&t<)lr^\odQ7q/ۊoܣ8VؼrU:^cn4\ڙ+>\+GVDA憎>b, ܑcdeŕaѶKT[)uڱda\57 ]B>gG!% j1CCOL}eba(-n N`+t:ɜ4ƭٟں@.Îv~.a6z1VK7 5+&'DÐ 窚xrQV$!nrum}i}ԨDBu7-W jbu6o'\#rsy/ {&̐4_tO&.»#*q`KNKT"'b4>nOǏhl6{ZAI H)do53HÀ 8׍f{IUklH#ϸ.^;Pp ":9LCwD{2v$V Kj5ߴ&~߰hpBH$[h=n7 b4&܈77KntOJ􃗊5U5ݡ{j['Pc 6am2?s:E2z 60Y4EՃ:G9K g]kzeÝ.ãgK"pT〭7%F-gYZ05f4ecabe4329899ae7ece2c4eb57d61dd425719a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff3a3f0d8f79016297fd68454dbf1d2ee22bd97322 ' List-Infinite