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 f lt ] ZF-UNITY:threads=6elapsed=5.180cpu=25.340gc=0.820factor=4.897zXZִF! H]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄďbo"{]T9[k`L{ǴN_SW!qoDs]vCox1Bq K혃>&eXP1 )6?[ $^qA cYF'gPF'5?к$KXoBlR.qk7EbK6$_:=Tb Oo;Gh웅nW=6?hL Yv7mw*4[ -!)D#V: Dek>&*   D@ǖށr\ x &Pd@[jsFYj67tN|9[ڙ^u;7"ιYkB H0c.B{V ;GyCob*2eqZ=3Kk4cX:}3+_kon)/,*#|~Ax-ws7כ+JO+:Q6gYZ7zXZִF! hm]ŗXiɟ9 i:4V;}A<<ګMP8'J%LKr%dEɸEm.bv ԬM_!60Q NpW1a~BQ 7 r1QEiJ::+z>Te+hOǼk`;޻,-Λ7A0tBaѽD=r4v,H//iCP GWc؂[%ɍ%זK'|/ed~3gJ邵lm@*30"3J[ǂTHA*;R11#Ikе7U8s]` y`gYZ7zXZִF! ]ŗXi%6ƧƜ ѿj.ۼj0[RÖ?%ڶh#߳&cӤ?2< h;Lc wFvqR&htāH<0߳rJՉrbw5ː0rEňr**Ohzv^6//RU4WF-[ߕ`#=#򷁼%LceJj}( $ f>$!7V>j,KZHs"fb)RHqsVq p p6hq^4Yⅹ Tc5GYwεڈ^!Dž aYbN p~asW`b