SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 {+ lD ]S Euler_MacLaurin:threads=2elapsed=14.393cpu=27.656gc=0.752factor=1.927zXZִF!  ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z3=8ZՉPzCht:Jd{ +I^X+1 $Bf3!2ZT&x|Mw&%# &iFr˪`T=gPrvDWΘp#I!_=X֕!۠W%iů2!O\"XF7-b5;J1@@ג-}i J+(E9!0#(Ji*dܰT=HPqjQœuGhS y^+XKp,D1`gYZ7zXZִF! T]ŗXi%;iܵ= _oWGbnၩ;fIQH3v &% VDZ V|X4sqs5zd" P|.)ibEP.z#BN! 3]"Y>Cd 'z R~>()v:6њ͕wA"46iP,|g)Ƚ ;h) M2b;Gi[p&QkH#3Jg, LoImLA>2Vѣڜ-H&HA4PW7Mߝム"$bt7xcBkȜjs4aXet%LXbFg.C_R/gt?'sIZ]/dFGEHSs<{/O]ҪQȳ~"<}zfz8FC Tl+by2 ]:oOC^) )=h¬H}C5GDps75͢1-ρVNAF9ɢOqx8eň}5ȅ6Qc$Tٛ%%.@8;y<;sϼDhSfY\NdiTeaS2Rٞ|ӳb0ϩBx'}^~stJ|^1|jlߊ_F4-hZ٠2/?z˼OMZb,BNdG;$zѮ}}ozп D7 F1{8x)*CmYPx &<$죋Er🁀^ȱTZΥ?mM'30 ֬/ɇƟZ:zytpLL%ӆ),.&(x$삗8|jBI?@QewJ޻TN;.1.TS;/3oC"h+52~ab6L˾Na&aUф5V=)굘BrLGZM 'Հ +`'gYZ5b6b553cb60b6aaac1c899d33f059bbc2731d10d273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 a2abe554b024808f20211ba5faa2097c20520e83 4e2be6ad0111d9b3d10f9a8e3b23b1fe634fc082 + Euler_MacLaurin