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 b/ D %w]Pratt_Certificate:threads=2elapsed=22.347cpu=42.480gc=0.632factor=1.907zXZִF! 3]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0B~ *bmQt@war4-QɑG=<Yu&ޒ+Mn N:˺[#՜7A4Qw7sT<52NYOy)YB_Z0+B)fY.4!uh{tF&$ݙPFfs-Q`Klˆ}~IvH[|("A&MR2eR*ŦLbvS z-,Mt m!)]j1W la y"Sg.0[#"gG/H=Ng2;-R­v:3JE|N[U'I<=0x\U,k jdz&CIrAjx+R?\UJBRA7A^ktѣϭZ甸eF/Ya4Yz21A)1`7{ӒxO /=R[R{v,#=:CO5[& ;9Q:/zI[N&#ځe>;e¨E% "2L&pbL44)r)wH7H¼QG|_iT$oDXg9N!7#Xn so,̌u"%7=|dD8ERc S14Fc<*zbI]2;7 d_ѪO9w Z6o_2";{Fxq_v6>XcgK "뀉ÛhTt8|qQbtpd7]Ӡ[Y%Z] q<%!Tbeg\zH;קђWmpZ~I-Բ0OykǗ ^\=k!#G9M'ݜ-y3VLdE ]9Ѻ 6b? nQ6>KBNG\i&(*j(T6*@T/orJ ]Ü+)o˥;(le,|o'q> HV`DL[Վo҈iَL{WW0 劵q7쨎5DZ2W1 y$[gjw>#T3Tr353]hIou(~oaEk0h̓p ޛAޯ3%k>6K e@{7fK5g?= ob m(V:wARSKFkXJ$G#N اF ^B~n‘GƝY"$4FOT_p|$zcq# l πoelVMn d~2ʹ%Ɋic fgmP !{se[-8j"Yx(q2~HadWtYa"u7ɮҢi+LI#*@90Ԧr^P!l8)3Gv/'C`9k<A0JK66HZy륞Ѩ ļNF ObmgxLȝ}h.,IV=k `e_k8qq@'F.Oa]{n@դ@`3^TQ4w|\+*q89mOa-X:&MT(qM.'W@l%Uv2V/RhY B0czdiNHGT)nmy٭m+x-ɜtGPk|2^՟κQ+YYXEEz$[հcx=[+ -`%o?Ptq0 Dew|qLn5bgә :f7a]}rk6*Jv8֭ʶ: @gYZ2301c1cb824b006fbdb66a4d295f158152cd3b18 3e49f76c45416671dcb4d349ccb96f41d138c27d 853aa6b1c36ade2889faee412707bd981cd70a63 87a3925a58dd8ad2a034b5afb68d50f7e837f0d7 c84d2680a43d5ced39380206a1c80933c0131123c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 26a337b48b8c63fd275ea93a777a3e7a3401e2e1 bcb5783e181642421429d17d7734ad6bf4673447 ba20e888d55f708c617f1e9324be29df7b74963d96d9ec0a8d5c9a25a37ea23f94eb29f1d6caf916 / Pratt_Certificate