SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  d d) \  ]S Buffons_Needle:threads=4elapsed=3.222cpu=10.124gc=0.052factor=3.147zXZִF! ]ŗXf[&^zDF&:HeRz,|޿2 /r>#Kp[XIH>QP+=/ R!j$F-07qL5O8EkhP z4eQj{'G@)pW +QFS[wEb0~䶠C @F<s8 ~y+Y>JM{eW o$gYZ7zXZִF! QD]ŗXiɟ(0uIU`s..5L⼟0U4[Q8d%4U_xeva0,ny `RT}YZ7zXZִF! &]ŗXi%ES3Q x8N~|<|(.-:3F$:yU5t"{J٢mz|jytvDC(0i@j7mNGx6E g ea,ҌOާѨ~bTSrEi?3F~C5Q9R=a7\EPƸ*hLVL 0޻(jipd0stYF_+ӆ'u)0’p\9W:G=f]XDP#$p-u pl^I_1舘zZmأHet#ǽ24Ag oYd̸y8L.v7=>doDlZu8h䑘xy89X@}rCa,ÚVsY-W147 ߅s j͑20G8 3i|K`WlzpݽI#]zK[6$f^ 2U٧B]J)X~`kD!mt9Rs k9w.aƍNЏuGs 7y\;PWNjCP}dlWNm5+fr`@h9{tilv_z/@R(ؿXqG4CK[ӭ|k|V)f`zE='‹Q'n78xsyg{tU? B8O0{|Xjakt;MP:,cR8-_%ϸ%7 _hbwUvxaInׄu9.o_hy (EZ