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 1 4 / Recursion-Theory-I:threads=2elapsed=17.779cpu=31.184gc=1.448factor=1.757zXZ 1 Recursion-Theory-IִF! o]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWCtQexisTa (_y T~6c06:i=,va>6ocAVyPcKXBUGyD=ԎIe~啘)+\s{bM)4+xe*n in׀ ]hPnԁW3NTvIa0d>,Jh!Nx]HR7G߶1`=K ݔU?kCe`=VF`?֦fٮ^w¬j6ġ_*:puQ]{͜a:zQm>5W(%qGTrGU-'0Jz~:Tna+"XNRQI(5H/# od_8w٥#" uc|;Z\t hۉ}"=cpK:An2EHM🱬yXANC20M(a_܊ٲr NxM+BXNu(L©m(ۅ7 Gd'Å?JdKr@o/s{H; i!%p0m%߅M®:Ze*,!r'OߺFu9Ơ&,&m^L ٮHKvH}܌u.+Qי|-tRKk>n.ƱS2%Yo-EsZ"^H;\wȑ2\7,V39Xo!@rejcbJՅpk@c#2p_԰Ӟ΢#T/]Ӑ6k4U {!Z$ 1βfoB4?(P/vB3?;zv%zNZl!@ubx`b|(#ʝ*i)~#Ny[33?Ps$@3pdBp+k\-к S>9t 9 R]*Em5 E?]V?,nC& 1|ic(gm@'e"6~ vk0_ ZacҿG$ y4 'ӪJq9_OlƅwȠE~` t,f*N#BG y.R1A\_5f=葡< itI:Qgr\""g1Nt2 myߐ{EH[ sNug0yozЙZj1 l kW>p µ.Razl9f ŗzSRE]hE–50h V ڇS7;.DMd $͹6/K pJwEqHV߷0(b" @jZdK@T!sRq):ʨ΀ɮu\M{C_Yx*iJ!c5sާ/#+X*@6 imm -x j!0FP@[ogwMwevTă.LM{>e/"әt'h*ˈq$dq?gYZ7zXZִF! gtR]ŗXi%HmsۗxjCq&Ȋ^2= V'ֹq{-'hpѼ \:$$6TM=ƚU /0AyPJYh&mqQs2@0}%wD W_@̡‚yUF$Ajq/}{^C`Ō9qa;!x\m[DXHQ G#J]4o(Xȣ@^Y\zwm8RSI6{=(7𛁀?Suge?F{1">geqPI2:^).uMn׵,JI*j#-_ň0ɏUm+d9DpU$Tz׭4LUce.)OMavNtsCg)͔gRR|itRi #XO-}.LEr@+oDW)aq*@ΙE7 yEi!9jmjcIDø5f뿫{ 9)Dv\{E's'} H Ϫ[ Mn(jQWf&ծ$_uJ[zp;=FJELg{֩hghGưK_`4jcG 6MP4o!7 5c_|P&bc݅p_>oPF۫dG M-nv/Qo>o@編]բ.X¸A?=,.j˯6WHM` 9gYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 d0b2a5c78646b6a66865072d4a74a3717f74bcef f6907765bd86ef922b2b6fb287ff969df46fb1b88c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07