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 3+ D| I]Sqrt_Babylonian:threads=2elapsed=15.870cpu=26.416gc=0.504factor=1.667zXZִF! =]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02?>8mUߨ2} žW)Ji!Bĝ G)8Џ3B ف L)J,L 6 CFqU7Ԃc /?leTq"&Q:wX >`˺Cw%˘fȵP-ɗ,LTn;;_bn~_9:ZH$6 Kk˪_ӽ'[`&--~88tH;F8@,'Τ}3"`,k:C|zKך6uN¤F{8<%=2(WQ֚m>S8݋! #Z9kO9¤?POs?Z[re)ZC?n4?Ƕ#HN+_lq9Ggtdh MC:_C7l!qʣ ^)h2ЌxZ =K6^,΄Qsdo0Fdže6I/˒b fu57S eV-C#:_wGFDX7a;~`7ʱe#@D^^̓%MI='mZ}R?i3]?Y2YTO ąV|3 Y^El{U?i﫱tJ%p$̱eF5b36^)ç+Hl8a{z6]UG LN{{HcTAԍB%@[L;,1㖺 cb\{Rv\*)hɗKyG OP'j=N(Х^ 1  {QgYZ7zXZִF! T]ŗXi%s-*SDe؎=Eptiqk]yE f}d%Q^B?\=\~S3~l-ԈGސ`_|+1(}=G_c@c$z:/rvUb7-]s6Q0R :*sn3i>簓"OӮ@~/&5NRLI']M)AcsM剎KJ& E o8%xI]Ħ!A&bl6cWR{IFfLI)($Zi᳓ЦHy }ƼMڵLQ]/:A |XBig_a|b!"\e_9vL BgCUaFUP.9.Ғ~;A6al?3/kon<"c |\,- w,X0㵄1}csOKWɄDң*4juē1dXLԸ>ˢ!$@{GCzdUܵ{@xCP^prX|!@%h_T \e4SA$+Cg E+FG.K^PQקo>"qh܈u9c (fVMvsj|W|fU0x/:DcY%lJu/ݯ5<ΣC^Ykmb^W,+ /[.RWQ7E:hŋ"5όD3` 8z57 MF Z͍YH?9xo콩|&KĎ?m*Abf 2OqE¨Lޏv-.Ѭ,ǘ h^r9IfTd؂L)7K0R{5Z#廇TC?ܭjt[0|#Ό߂6Cg&X $Q|PDjFS~cy(>n;+M.'[O8Ar#'%T q'gYZ30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 64a845b1220ceee7d28a066e234aff43a3785d06 942048c211146fca0ed89d8bc8c594e9750c1b8d 9f9c809496c43e458557929e05501a0e473845af be3f57299b27044d9a95701a925c40d17b38a3d9 c0b968d23a82977de5c5376fdc0961634308f36b9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 c7db7fb4136ceb13076f686a4cdae6353219b018ea20fdcd0d9c01ed02ad75494713ff02ef003a11 + Sqrt_Babylonian