SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info EE$= l4 /]HOL-Nonstandard_Analysis:threads=2elapsed=17.000cpu=33.368gc=1.500factor=1.967zXZִF! |l 0]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SLpy!k;/&'bN*9Q⶚R1ch / K3WV]x:,~p'[V(21Dșe 6SG+@)\^3"~PSPL Bj 2AJ` 1Y&XXzWkk`˿4i2藉Ol3c'N^tݓ6|nM?To(<ү.Dnmx n!QKRh&Uz,=p;2X ^DwyC7MQiHՓ5j82.WVlM3iɘl7nAk4sFI_؊m>GU7 u] R-.@TY!j臿 xL ;n0pI@ᶬ*uy2_A!7l='Qh-H--lpfJ[u8\=!?xE~|ݼhN\ pKaQ =M`kC _:a@M9I]>u.?T`'ٝ)dgRHW0T KEAࠢɭd+ʊQ1>X8~C_&N=F(n6"=ٻB/SWBE" r4.]jV$L# 6_a߉T20&Җ$̛ ^A5[y:B_۪߯\qȖx$;JJ8K0]JrC*@:HPh5`842>/pb I#{u:#ޝ.rѦZW⮖ix__Qs郓7K/E%\N~.Œ?&-G_lqA8C,6"xk؇ji|Yab֛Im~;t. N x`LR9e+a-#*:7VII%N"~G c3N5)/=CPo}B&=vI12`eYHx FUSܭeJNzbչUBọln6s*,۱YbkfR-c[Q)˫J|Hg]q|]+Z$HI(Rz0_+RO:.9|c]I=#D9Vyx& *4jN=nrWk- 0]XK{e/GNbMf9 SU?oFhy${A-Xë7/$൅ew=QZJRS+mU'f 妛ȇѰ}_3a\{3H"ҁ((l U((ng+KT;IGqj%+I.5,8:047xǣB*Zcn'Z֦.ǣݩ;i3ZEɭ pڤOj$[$9dO1Qn6o 'g-kj.m0WBK+Ⰲ||D||+o|JʀtHܕpZchYr2A,J%7CQ>5buk  c %yiY%`iHzӔ,Rl|sl@29vkjI@:\ &YgYZ0c99b93a63f59cae01b477a7dfb7210521f0b549 1aa94fc90399e51879da50dc3e3eb81357662021 25d26263d9342b6c67c6e83d4a97eed5919fc08a 378de236995e551c50ee8d4d0e3110d9d2806c83 3a92ed7b4984fee2454b05699802efdf9b5e745a 443c1e93b213223f55d0433f0845f1fab7a4a144 47b4c715350dc7eaca0d654f5646afb02974e7e6 5b6fca7aefcaa31fd3b89c2fb6d372566e27b3f3 5f7274fe976997cc74421918e4602e777e6c3cd2 61b7f7cea5905d8ea78f3c2dacf630b6c4cdd79d 6fb04149d3c770dbc0276000aa446efa9c35a61e 7f0b70126c5c377b245dc27c69f7a25ae9ad99ac 896dd418ef164ace044556017d747a73d1c4944e a6752ec4d48aed1a0e20acaab058c7c27848c474 ab23e5d88352c538f7e132529053943a367206b9 b3e662627854f33829ac7a0523d5129806f36350 c0482ff4b665b14cde6a846ce031a1500e2e2abc c12562bfafae467ce23804c25c6b43392e14553b c2bc0c4070ab8dd0f699c5e4a89128c973fa3ad2 c583c2ce31119315ddf1817b5637d75352e6b2ff ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d92425eea105b871c152b4273b225c942cf69f58 eb00b4ba0166aabd0d04bda136445ae6bdde666c f67c75f05cba8994d57db1503ec5cce6f98eb2bc fcf7bdf4fc9771c0fb9ab5a4a40f6eb483afafde7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16e6a659412a6c6dfd6dfe074d8f860e4cbc41eb6d