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  T-d , ]/ FunWithFunctions:threads=2elapsed=1.395cpu=2.328gc=0.000factor=1.677zXZִF! 4k]ŗXf1-/6vRZ#qK_Hw6ԛg<_78v4!B`&Ѱ:XYFvOʰ f;,r=4@7 5H>79rba5˳ԱgYZ7zXZִF! UC]ŗXiɟUXvD@ 2C \7c &Bw0"Mln{~f.-Qӄ-WV_Vq}YZ7zXZִF! ]ŗXi%W~x}7g"#Sp,{sգ~k|(,PR894__-dcWD#N6f՚uJy6/ lJ~\&ggDJzF^Jk*5Hr_r^.ɼٻfT#-8@4qB&H{@̗6&U +4` LVDOo酳.Ul0F>fMnOXx6"/]W׫\T sNǐYA 1Nr0;srG߅ӶΡv0d(uIѾK:@:]ە{}pcjpb-Q=iZH+'`U

;qcq[` f @/65LNb€ygq􂞕U%q|x U`,!H0Hv'&^Cr WZ Ѥ8F/5yf*]1T<N &-z4gYZ0ca7c2716b6f6df1d28825b321afe737c9e99d74d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e - FunWithFunctions