SQLite format 3@ . BBh77otableisabelle_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 xx; L|$ ]/ FocusStreamsCaseStudies:threads=2elapsed=29.618cpu=48.224gc=1.700factor=1.637zXZִF! ]ŗXf1-/6vRZõ7ioN]*meV*5/g9Lcp37dK(L%aL$[ba܎xYq#>IE²t.JOK1?YC?# v-FQ$e(5pCBUDlOlzRX3/;"ITmrsQzWQk VR 9='B\\L@=!/$: f!=zaA AVu#-r*/-Md/77h63:s98 )PHAު!c#Ʌg`V+vM V1C p!3^?{X Sbͪ kT5NV{LI啷%̅˷)a"DkfN-i;])ޠbhaYg u`҈"_p'cXG+4P0Dz[Q_裈p2[<˺/{/0c ~x-vx*Yjۺ%Lib[ڲۈ69kf ߍmWzcIBuMa>P(ޯ!*of:oOXY,+;04g%޳? _R¼X8Si.==5cҮ`2&ՙra"8Jwklhɓ/bqC:.|4$D %3g4>lN1dK'|av3MY 9E{kݑ?V>N*<7f7Vs疤6xꦑV~wAY%-= h 8MK>ڙZK7#K)tA4S%+G$$}Km5~RqO<7\nȔx']竱oޟyVJ]jT'Vx=)6`N![cRS6`N~n$[Ep?תį߹$ 'R,ͅLHoTK\ٚ@qNIhW{t2#oC# >qP֦eiӕH9ZP$xr6Dװ(bl w`F+_{9:ce`i**ȎziԀRa( 1Hl @Iqzߐ( Z~[)jxqKcd|W֤i}(,Չ8 &~x ՂNjb)[~tD#m!g s{&\{Arnf;:111V#~n ƈ%-6sQcU%K!]ҦIP!]OaLP7Q =Yxd`!J)Pŷk$xoɐrSm\1%6 hoKBsݎ,9?;i4-ypf=#8wdQl9ITP0£Y7@35amyq) 3 ]@Qˋ||Fi$Vsl'9),fgYZad85017c8573932bf98bd7f07ebeb90843390dc619483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf ; FocusStreamsCaseStudies