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 ..?K l I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.443cpu=21.836gc=0.768factor=1.917zXZִF! <]ŗXf1-/6vR[NDZ1* )# rof [iX7C ϥuW~]Dt'HOv]=?><(v.TiA30-!Dq47{ L.֋L38zc:FHcOEz*OzMT/}RfZl?[&cW;l89S">KIl .>HA=௃z_c[uü{Bb0tttUlެ\\O*1_bo ?/g81B9>GuKutLh#[B٤Ry3 l0/ׁͧ*K !({N5xO})6jPݡ5HG>Kи9i4{+ M0_#M˻_-"txf?s-;<ʽjwׯ5:;|rbe3 fC 3~j JQ q5ߏ10&<u՘*1]h*9|;;a{(h?B "K Random_Graph_Subgraph_Threshold6)o\bhF0`6'T4V`"z7/. )aIpQ_^TNd]Yդ174BCZ& xΰAǍNl* @oXh|\|Heouz-d\U2mPҦ>R+ިc(QJȅ0VMkZH+<CnՕJKl=[ă]yMYkΨEG(Ù(5uvvp`\lBP,qI+Ŋ +X@\;Vh^le2re Cl2LҏK{9.ۅv1}nRU]* ck/iɛ.5@_UP2?}M1 Rb W*,y dY_Y߱ӭT`EG/ѽ׎}W9{~(n+A -<כPn_s>)UtB ӂJU}^#Sh t D٨~)Ǡ^)1!LJBW/Ox{rfg7md:2uX_6?8mrBj9RhWĎ԰뵱.#ͫTk\hq^83M~i@Dlq`ȠyDMv{trnNNC >tox}ha"|ڥ>}án8fJJι`"8oX2+[x >M܀=0XďhFZjZ ohA?:~Xg{Pɝ//f0g;H+;r ۘ0ku`pܶ+d>|nNeá^^:z1"uVO,x(9XlZ^͖2#׃F#Fq;|&PEyj\kYJ]OږS."hӼ\Xt Jh+C/'2Xl (4Z `N)lEM0dqN VJf,Dt|orRT WH~yUO{l+j) #n/X&=BсcXD4;r]B+ & ZJж_ÓS,)6sy+K[2, ŭ"6+gmM1, eWIEba3 :hO_jvZQ7P  ܱgYZ7zXZִF! A.]ŗXi%ΆB?1kurɽY ӵ~Fe!͔hPf Q!̘Oɭi(~}u/W+ŵ +s5te"߹vRpEciyX~F^EgILXז哆 *P|{u;v{꛵ ɟ&UAJ} Nokg0,X9TOvg }b%~3%nAgɊ[@^QOK_)}7*ŐtgӇB䔭Cu9[?ΊuR2  {+ЊN۝I7);|]a >}\ ;Z8KO:% q= GeXX XOyt}YNq=\@x>PS%,oaZRdfVe;xȗ7[/Du9ώr8 ːP;fЩOf*\8y0ASѳdH쐷'w&J+N@ ??O3v>ܨƆ (=؞MetȖsEDřcb5ν.  U8=UP?OjR2ֳ'cQǕc٦BGae8JKˮF n =tV^Bq*1"\#fR'cKv\Ӈ9ޏSDzGZ* XtV:dga<4 0 D:Pqry @nQl)`yWO=9݈Td5-\SQ}zNIXơ';]9UjEG4)[ۖ^aBw"e~ELꐕnb8)X$+a]-S bUCZ fS&ֻL`S7(%3DZ\-9\PϿ50ȊZ!e2m>oCMe, k$Aȍ2{*[gYZ54cd8b9da81da676571f9ec93abb35e26767139d 6bf55abe0832a8f5af29cfdfbd272302af138666 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a197d18e1c5fa2999e45ff05ed08a1cdd94c719f a7607e1706918d77353cd51207a150f0b84fcc5d b80fb750b75ae80f089ead2d3ad70ad9a4746b3d ebda526a38b70d4227a4d7185642da12b77d4b6d ed93f13836f4208e53908d297bb056e36e8cc7b880f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65 a457760b79716ec11200989778828fac25d60f84 c00a985e9591d75784799709dd2a34f02248cbf1