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 >>? <\ ]/]HOLCF:threads=6elapsed=12.028cpu=34.180gc=1.660factor=2.847zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VV!&aXA*3l H&/K | }D}qZ38ehGȣםcY\uTBwPS]H3Eu9* d>R:xxP}bٖذ\yf r)볿pT&$B"lYcONm{USSkP\N\jqx^UiQё:ޒ!₮Ŧ*rT) 7U,+4`V#B)3NW"&sY MfSrL))-CB7ȍ@b&7NdݔZmpZw & 0\]L0BtRd?" ^,-t{;UG+T,SVwvd W)_DD1wF۫PkS OU7y(r H1mP Fexa\_*[&fim/#7`{k3Ӈɇ9S2]ʇL2Ě,tGģm DR4Ŝ4NW) Xm߱YJsVLj$Y`'c5uܾ`w@H|zIx^֒uU܆1dn$Ӛ=e YҚ';)ј)Nݑ8|(f?b㮚H!wTG7j^LZwx#$`n&=z%sbNw|\<T{.N>w+pdĽ:;xO;`'DJ|r6䤃qZBzm+0x:.Hd2 ߲k": DGT4Wy@T$ 82A.@F|1-ѐՁp* ȫ?fQ/.c(>(o!%6~o)*1d6wLèۻl2/\EOh; !%ڄ@FcS\5 US6asįE\iS LY keku-X$OID!԰d~pCu@w`RgYZ7zXZִF! ;']ŗXi%92UËY{lQ;9H? 7쳖+I#lUv * Lڐ Q]8$·DhZ3B{f^g|-sleyܚ~4a3Lҽ*3ja觅25u gf -* =a:_ %Y^Y))#ՙ至nh~Hr3%՚၀1\[ nfp9fAo4ȒUDL!,;)|07 ~y7Ia#B_J1sml%nzShBOuAң-,$v `dC+zLwRȲpѼG.(1 G8c:vڗO}x4!FݭB釹f#-A9$dMݶZε ƀb"F-a}g_WzCb8'|Ӭ?/Cav[ ^QׅW\ nKN7bIJLtpɵ'qz{(ï NM`P5֟v))'\[*x;e[桝cF0˶;cqʦL/{Di2 Kl,7ԂQzKl1{gذGrfhhkMAF\/f o̩Sw{A)/T\p">]/h\-3f@~U{~i.{]T>.VXҭ:DmfХPX0K]T=qcM̼Fˁ(X_ڰ;,cb aO~$C/aق.096U &o6AYI6pr/1Nr#]Hsacv=rpIZ?`?3f@nn-K%¾Q[{4F܊-/^V[԰~z7