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  2O 4| w Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=46.576cpu=85.692gc=5.236factor=1.847zXZִF! - ]ŗXf1-q恈<-¡$j9n0.H. =.;7,T(.(>*[ 6Pow}}3YI$!cq?LMo/}<%;'piUL 7"R wՒi95 !xǯړln7v @Rπ+¾ay^K/rB#Y9nܓ{HoW&f qc[AE?jx]̲@e7ln墅YҼ%,)ҍ8F@Y :ќ9k[>;<JA!Kt4$8֛ި59Դ IzD֝tU|=-5o E x\h!>5ᨽY/Poni_]|ZC>$S=r5[k,^ V>_D8ϵ J59l9QGߝɉW)d*?ҽu٪HWLGZ:PH\S݆GJ~1JJP9I-.o(3]BaUI(ERх ?t C"yFXG]XeVJ! T_g9R|/$?MMU>qU L.u(؄- ?#Ʒ Fɣ>FuGWG*)/ x\@tcsy҇&݆VG ˌ0oPJd}QYVCQl[GTS7O y_)0TE4 J5n\]u$Q+i!C/MPF0dZ  l%L89lОbp2Ebȧ7-18lhIV#KyM~ wUJ̈́?YHtwpС^QgSڤȼzxaͷ`72Q3KLd5+pPqvSq=JL ތi睜4eI1Tfy+ u:vEQ(AծK$`,OeJ1LEܖ#ނ8Nj`"O)B@{ ]v "_ʹ O͛j: #>e' jcF7Fy/'Β!*Gun(uBaJs cX?FOrJҵٳl yܘu'僥!Y/ tn|9l3jcdtv yf9,^wz| ֣/݄yk@D>Ҭ ADU>dö(݈7u}`I"x?(A$9E7f%氨$E/6E`DLvN(za` x;D#S eY2xYƚ- B9tAjs0>/$kZL$uw.*GU>xEt^5+3!Ae3&\qSaFaK2>mq**Yo׬*z O圽[u|wD\ha%!7T_X(#0ڠCGc2+E r />nٶ3E/t[]jgƢ8mÙAxuF8=vSW}ΝHy]/ M͆NvGaਙy{NY+Eu*wkyW|p"TR c:u6md0PG棌뺡י:v`<" zźC! pn`YőH Dt/hnW%iAۘ|STهF“ޚnHNd1v VSq(GO$A8&AC!UZ+7շW.JVgz.3_f <@DY,O?˙Z[E\k7U$ɪKTlesv*i=~vF@W9Kj?tAeeJLwPqzbPa@)$b~ど4+IeN=(o=ޘ~APV$9?ta=R>Ű`;ѱ`*1_A)9ޜ0C ,D3zSoMȷd@aEFh#Kt1 a~g.T^xcv2LLy)P2x + "$]<{׼; mVun_!t6y캢 {`W}~uϺA%aqנI@fB_E$Ώqu< "#*HXx=tʒJ027s870+֧\vn: p z5Pp :Qi+Y9Ӛ:֡X }2`(\f^Ibô #䅁