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 ##Z# DD +/]HOL-Nominal:threads=6elapsed=6.482cpu=16.328gc=0.740factor=2.527zXZִF! (]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/Ý8`|Ŧ8"3R6+TH+Qd%(&E̺-`ٖy!"<@nF=t7%|.I6%PLƔ\93 LV4$j昮 TryVe 6ٌumrvNg[̓:\%pP9hCܚᾞ|2t";mAgP[z/:'\ǗXI/)?H%UR REE F9*8" J)HR)ӌS+DzQ|A$3X< snK%;."#jsTz:#> 46)l31Ɩhf^=y06[j$=hJ(G23z/nEFR;"D!y5 a^8*^ֲouA;i3 e<|sQ1yZ5Np[(h7Xnd=Sw'ӊv)>6\Rz-cN&yl>>\"򿅖FAU:Ӳ(HCsmIM3,IB. 89u p>5!gNqlӦ\ʠ]PV[8KxfyLIJ~kAW2) =4_c JLEyQ͛B&̉[(qQ Uჽ),Ǐ k:Bd hgL{)Vy|6y>=y+g EJI {UR ^&Y b=1-|WzRj4^jBF:(5@Tv9PY8QҵmgYZ7zXZִF! ]ŗXi%ûl/n Ѝ5QL-Xlh4۔C]o~߷7X,BF|nwgmXd), u2>dhN Uq Oc?#Yc'JH ӶzAw/9^v}d^q$&/ Ȍ &(쓼\b<5ȥ~_PwLFx^P 4UNPMHe"`q64| b #WYb`6OM;'G?!OdEpW Zs)Ur ~LoibVP= k EaZ]O "7(KYWa1}4pXA[A谀w$CL@Bc1o} ?j