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 {# lt  Integration:threads=2elapsed=12.237cpu=22.148gc=0.684factor=1.817zXZִF! 0]ŗXf1-/6vRZ(hB- $"iTi@Wv|P$Z=r) 2)UrqBs~մH:{e\.<f7F}󴢹6˶c6= .gYZ7zXZִF! Fp4]ŗXi%Xl0G b(6qcj-}n*ڶ50P]0C Q*pt|hcqN9*ߗ30d?妤[XnDV0$gQ}h3x ƥ]MGfՇ7rNQ|`tN.dFOHh>Ax*Sd/.!s[=O;kMymY!l&#C.խ0cJy%)~VzA{yI1޷ q*W+OS5Z8bm L"F͆YpʽҞrpw*ùjuZ'|]hjTaκ&:rsP(CiSpەdžfi{~A8de`:@d[=CG81Ph*[_{n4bԽsS=BXOvoZW*![=gӦ9YB0Yt *_|jS?n,>؎k$Jį}2{v;1ɪ]>AdX_Ljk:ۊOXlZ6'\K yɉ.ޖsg̛J,q&{1&ikZ #CC uOtPcR{ bM^Juj4ؖ(攷W1hs(|no>HOִ+@cD*o-qK BQ%]|܅k!L2Ay%ykp7_6Ө'3w=ED|c?a4_sQ:t%-l:cNL ^}1cjk[;eT!.gYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 250200bca4a9d20ad0802835959e571a17563aef 412eb83677c5fbc30c2ebc57a3d3e6da47cc7d89 5b30d9221941ca16727dd6daff33722d09318f8e 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd c6434b8f92878f1aaa81886db617f4dd64b8598c eac6ad13c503bce6181b05cbde0a5640f2e71008735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 # Integration