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  P P%3 L D ]w]Probabilistic_While:threads=2elapsed=43.435cpu=77.736gc=2.300factor=1.797zXZִF! *2]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0vv #xT!\Cޤ# l 7x:T=Mv;QJlR0g`fjˠcl{P(-p_*NA0OcTȵV>*g') ٔ3dV΂v &6;d~n(!7̕״R*m'U[ل0zGqxC yRTkOqC7e|gsu|K=Z ~940S0hZ KJ"A|&r375>_ ྟXwL (Wd`=NOuqC1+&%CF9S%:k:'g3SI@^LafAdLSEnag #bNxt^e߰ed&Gr\w[rU,.XGh (chUUf$nRbʄEK [~;D%]+Tl%#yr^oȆM} HgYZ7zXZִF! ]ŗXi%6Sr(a_ݥD$yLnXWJ_=UtF[kZAm 5i9 ɉ4^8G,a~DiuNsnv}Eg2M7Xd7Ld:ʷle|Z7 %#K PX28h7%ᝠ\[@iT1j-[HJȣ+"`AàÐ&: ,9S^>mnX,o!s1Ɲ @w)JqlDzs^lRASXvdpU-k;;UlqJMƜu65~F;O*^ߞgf=B$4"pfvӱA@mRh1x|;ȇQFvL_也98ZX-Y9?*_`m!Ewcf1D "$1y~c+5xj(nZ VIΪ1 $mk&_ADh6}O)ͯe5KHxBk_4 :g^v#3qojwUhg=jȥ`BZD܉w゚b_PjaHIlQ_lǾq!p@so)yǕ4"yXWo࿆{[*4`;%e=P%E23ѣ‰6h%Aܙߖ_i;d_0Vbhй[js-=hM>)pP[_ѭ"ax .;눧n]^H \:'#MRbnj"HV~T+Mmf|&9 .rŬf^{zM̠ !EV^5kĢ^ۻSxLǏm4"y̐N38sPhba!;Bڜq໴IBRY11$`ᏺRԜ1k ׻;Pw]J1oNNXzh?jer8_nZӝ\,dͿN  OD uRH:.*W YXS/f9HO7\܌5}1 BFdHaD |Ύ<^ ;Ii,sb{('#w.,u:taߞWZ "qYz*y\["|/& 6ҒQmacTZYEis`~OMeŖ=Hlaёs6{v%@`N2эO\O$,G8Im#%#ZpnYL'E!3gC@ JF^aHy̬Sɿ{*F||MiSV6HͲMUy"mF`{%*&uLٿ{E@gMmRX U0r‚[ dV2Bglw,sD7?驮4"yJ=*+HDK bQHź5臈H,is $9 JUPe K2d?[P>rCZIIY{,8=|agYZ55a13bdd7862461c6a95ac3d801054a9143373ffe70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810 f5a019d9692dbeaed65ec90467093f77d7bef3d88a4db7a1756af4406a3a3737df89220f62d98839