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 +  w LightweightJava:threads=2elapsed=51.070cpu=78.244gc=2.980factor=1.537zXZִF! G]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷opS E:hȯ}"0K9!2`۞\aZA 2iʼю>Ir>TQ۞.;Zn+-EF4lЃ\ֳz =2޲(ߞFĒ4s\kPI_j/Z337!Ǘ*9rF'Jv~;Mzxc%;#D`BgCؼKc9I!]Ejg~}Z?`a?;2u"3</8y3q + LightweightJavaY).y˕g`xS\eO[eKb5)!֯οkYk[Hdmlv BaYȗJ04p2]fFRܧ=ľEލRp!VA+BuGn_BsTz ͬm,eؚav?&%],F&vC2oBf(8/Ӫdvʡ MyZ~*5fekGd}uxb]XKB[O~eRS&ԁɖȢ07CW]d5dOьRc֟5lyM M"o@W^7Dj7 Z(Pi1Q1TAͻDZVKPqۭ`biCV0- LJh*~1Qr=)Cd\7‡ Z>gU[[F~i754Ae t݇j[63A$'*%%LԶ5,5:⃄ܬ,*>z=wD5 ,{VlgR1g^A]H!HlHz5]`?fIZIX{Tw(fC%MJ&a3w*TsA @p1Jĉ?hp9+Q0,[ rrH>ֱ-Q9<ٞkG)kGՆh$g-#I'0Ķres $- HgYZ7zXZִF! ]ŗXi%6{B蜐viURɗ+Ⱦ<_&%$|x~XW"jf+RV^qȥy9״wC2`LzftL6*p3 k(!eNcK"FAkP 9r36YLBO|([؋ٟ^} vQ^4jKʞ7LKUNG&/(CC-kuAÆp5q#ɤd]WR8F`l;20MKز(M:ֵI-Ood3]qE7ӓQ5J]ˌiEXHFJZp}2Jꫨv6GQW?rdkI >NU/0ZZ\̀pH2 R~`08&tcXӷ?Y`$x yhhJ]8OyLdHր~h*iTpc]v_84ͫh,p=|sRUMb;7I1 αD)jv"K(#-I$a"Ks:y_)IÁ}[˫ X:ˮƧ,=B ͬ;>;JK29W4 *5\&G;8[΍\F slgW@92и֕8ʻsjy 5n$+@R59sN/IZF)T!NfH/44#=☞MO G] }x<`_DLNUYMi)2پ>}y!:AELqk&cf-M:\%oK `ȁa$&*_6xLÔJ~Ee{,ۘG8)w h> pri 0KNQ4D(#Vh1 O<2~2icAX^D\1~]U+a}G ΋FBq[/RX,n14|X&5A]Y)y(t#7- ݞWFJd%\IQ.yh^`(#qf]q(a7_p$$uToTp@w?i_־)W2OHV7 /p}ۓ%G̋R`EIKYJ` <0GxXHZ L(ygVEʜĘZUAL|% bj:VAt>tC8.8sQ}V|W} .RI1fu-DIPJ,D\⽺o_6E"VƵ#A0꭭1<_e1eո'q(U/? ؊NMbA3f/UsT!j]>@ S6[Xh>Q~dY'p_;BoiPYgT7H`|.=r.,Dr`~`~[4[s ŊL0j'D"X(r SpG -z)("Ć8%XF,`kmU/]J\bMy~cjE[QX9YZہ*V,-Qc*?e%dN4aD˦yBŝ*cR\iux C(yd