SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info !) Td S/ FunWithTilings:threads=2elapsed=23.635cpu=44.904gc=0.212factor=1.907zXZִF! ]ŗXf1-/6vRZ#q$-RR s(|CdGe%-?FZD&#=62]Sɳ%( >XJah̰_ap ) FunWithTilingsg sa1E4SlōeKVlyKj,G3+5$o2̥74~b'݊~7x!=Ù;GD+=9j~=2 z*>JCBkng,(iU3}14|mN4^$/} $y S).Y`Rq@>Ҥ`|׭KPS5\ KS- ӑ4i_>;1P].;kU=_OOuWvAǐߠ˔1 ~ylã@ C36 `%w' YgYZ7zXZִF! z@l]ŗXi%m]kuԆ|5;n,2̍*,țd" 8½}K*p3d&5L4XF'DU% wu5`oZ/$=J`tQ5m oO [9 ʾď[N*{Δ[(rgS8 x+W(+ UTI2q@.B CƒƋRI:֩L%u/ͱ^ ڂi.w ҍx:]J-=$J0).3)[`Ҳ/MpP|Y <2+g&B\"D=G/}?`6m߾6'%IT m92TEݼF8l˥g ӃQZ/ztl<R<GՍF#]\vD'F*UˣHR[»LzJ-5r(?]0 Fa؊t:Rd+ev.%Vps Y&]M^E?=ɸPF0phM{j2WK4A0;j>|aK !9ȔsKֿUM)Op &"L@+rLl `&BqMF$^͹uf 8vkP 2W1ѵ۠p+{ qWށ^c3AmQqBI8# We"H鬾yJӊsy7{cYSj9lwÄwh)KO`V.$,d,fIHќChk7?D *2Fed 5-˔ǖ6VLdcLj@٠U䯘̐(,sd WA#gYZ61a00ea513313d39e7599b05d7427dfc4598b1d8 65384518925f4821a3bac1385e15208197b717b8 929a6bf413193ab3ba47df98e4fa1c70b35c8ed0 a59109d2ca341d125311a74e38b48df10164a052b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d