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 = \ S/ PropResPI:threads=2elapsed=16.137cpu=27.008gc=0.924factor=1.677zXZִF! M@G]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^OD=AVgWjVue B%Vl.^noā- L.ye۠t0 a- 643YeK7o/IplgnE&XHL_Pidi20[ %9/T/3_i9jm$+hcD#&{ |YuM/7Vf`Z)L%h@ :AsNKb>)v#UrHI BۿBً.{4IoPMb`ejE鑺>sa&h:3#$ 0i`|t?ش:X3kGnlOfP0LZ8Xs̽NG?p,'ȑ̭x3 cÖT#db@v̒ܲy\P7L? T [>gYZ7zXZִF! Y>']ŗXi%?==\_=R;IxgN-i:ҭ3kj ,?INrA0 sWOXxN"U|3#_*cP(x۱.Qv"S@w,'}fl>q( K^?휒]"38Tѐz2=9phʒFd#j61 @"~)nͯJxÊ y6R?"g^[Eb_"z)~2p y~ɕ^{OWg FMpo \ O1hu._;Z<))BC :!Խ5!Pʦbe” /פ#%},ɩ'5iT$X7([SxUM$Ƌjnҍ U^A"=HuĶwf{[5`F[wy㤋!bfiAs}a& s[L.r݈Ć}]ģi#->U<747/<ҊIjGe^b sH{7Iw=s C# *!o$"CzC*I?ءT`7;IZмgxUNU_ǷEOnWa 3h[V\+^[P٨t B‡ ^;Z66"r:$u7Ed72ouǧ`%gɡ;jAtM{haYͯKڨuBkJ227ﰜbMW(!HҳLҲ=$P‘MPXDIJ4pL5a4׹jYR3)пd!Pex+jG no:9H! n=W7gɣ\'^kdI춭q#tZ cD'pbk:mcv>UKס w`#gn2B1v`4C't%S9;Ka(FM{j=&/WG>!(fNů!s3Ɍi"3s]9Tb@{axffڂJu PӸu #5K\M9˗AR}Mc t` flgy&XeQ}.P='dbr|Zn IgYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 80acea014f50df07de71735a0b8d00eedf3656ac d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcddb7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259   PropResPI