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 JJ3 ]/]UPF:threads=2elapsed=33.946cpu=65.092gc=2.500factor=1.927zXZִF! 4]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^z;@ğfsc DLʼ)?q <^ii_0%)C&E  tFSG?P,pg3B%J`ѫrr* .^w齛lvP96CE2ǚ稳|5_ GQ~%ڭɱbAљ8E?SR)O)[ͱ ؀uIh8kZ3[u9`m䫰72ܤEΊ]F\%AyFUy{Yip' 膞 R1zC}B`*RwamX7PIƋvCKi♩͛{[k*7Yj frh0nj/hqvP?eٙw `:xd W:x퓤vXTDfߥirz3E6mfE06w1gYZ7zXZִF! ੺?]ŗXi%60e+{ Yh4[Iu@;k*H~kq=' ,J>}RêħX=WzrFDéTqG2p\E"Y]CNttmㅜ/ tp;2W[K?:f߄=%e6VyhQxzW"5nKQOAUCTh}zvhhײ]akN}Hy[lI!nGg1)]a$YHlKh7÷ ?\g=n]ɞް]0|X7Kɚdˋw=Ц=Ā+)F¥,Od=!^ppJpM4LoWUu+I'>wy.f'锘{d}!P h6RoI$Gq{}~$jb|/1F_$ȕF]& 3 ^)nCX9|r'ؒYMO;UTH߿A-c0Ṅ,&Ru(in$Œ5tgRGG@ !)6/ ] WfC(dFB$wXMŝ'.a 抨(7$j3NڮBUk27H WaZ]$4R4+-*t|pHmK 9CӾV}p(o`itZH̢ݣ% En76*K&]bɜjH|Ţ 4hmOuQr k>X) Yob'kcNI}% 7ld}cmF,_%{ǘAWʩ mE+M:{><$QSܲnʍ3>ݠ1H2:ծ2/FA%=𑯆XXܫ.?h}~VE]j\째Pd*I`K՞(x$OĠqrcC̽mth]h(mig^DZctϓ&+\pTLN9 ( Z!;\xpXPee%$4\tHm=V*(_:)Qm䥃_hd[@Nڃz!s9ʞ0d$Bo:Ep|xufDw n9(a׳E6fr2y8R22v!=FKI./-(vWtEw.o%phA:ߣi3 F(>.Z=mM|H-+/]wL.'l%D vP)95u E^pJ/Pd²M{ޠ^FҙЬ3ʪg+UsVՙ0'δPNX^YT<qYo(Ʀ9oKN-0F*>&0D'G.~tg;y-iI?I'uw4|5#}t(K]~!8 vQ*R /9Mh MEKabl@R9HsayBäz@kzpi e'>\]ʜWw<ʼTGϼL4a >f\KA% FMVo8*fPv6Ҫt@&~!Nk8, WbwWHBɃ.jolHR$08ЭxުH/1W>4R˟ՍgY?ْFwM_FF;,خÏƬgYZc0608df0a0e0371a051e1cf404992820f9776a91e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87dde23569ec727f09b11fd57076408a5fa7fd24c3  UPF