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 \\!1 l % Stream_Fusion_Code:threads=2elapsed=17.581cpu=31.892gc=1.528factor=1.817zXZִF! "]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]R,mV=wte5&" -mAɂAޕnuBJJ1,@t{nJs ÕNI͠Әl6ތvX9_fb1qs/*S t¦+6f`l[AŔ]G;i33 8w8KthsErD.X# ZDo=i,-OGErk& wմcnqF34Նb %Ui+j?,7A=ǭ@^ (@O`8G ^Wpfx'5ѰdǶ=Y},=n]1iVdΆX2a`b[`Z neY H]Tb Qy ]1ƌLԐﭪamGsW٨.~/nUvx6/8ۘ_}y&&Hʉ֠tLX9EFc(wZqwL@`,|~\-׷vaܟ.N@+IkPX;7AKEeLt@M Rڰm{o &NM.?& Itp/DW'&^2`y5t<~B$ř* hBAh,T@-!_Ġ+O&%|7 iSk-aD3vmubmNs۫"'_=u!Utxii ]M Z{V΋+NV:#3.C!λ p3o]I)p ˞QkFD_K`R/T^!<$!팶^,g;PRXjؚ)+X zQ8\ց{T f:2b~`b߇\#=1K4,bsȱ x8)_'QփUxv\hc}"jLb[ߌpp0 svnI͊mbT7;H 9vU»2PoU(- +CyID} POX,V: nq1̪) R\t , QW-ޔ ֺĭf ]4d&CLyMաƪe1;_Mt蹁-¾pR[3;͵71tM@p &7kqk0dL9g]mpK2=4j0>qK-FB|ᐒ(B~Qp; `bsׄ.xVt(&1lwh 9ROεijkȗRplɷc1<$\U ~tgYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f eb81db9d877bd29465f2102e24c4ca792cef95a0 f0e5a57dfdf7f6cdacfc0b9da865465b469ec054 f99ee1f2d92f36615ec365d1532b742d63c007e9f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 0f274b86b2665f3e8fc4c8fb05d48c2d1e342654 1 Stream_Fusion_Code