SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  ( (U) , D ]S Buffons_Needle:threads=2elapsed=6.526cpu=11.148gc=0.160factor=1.717zXZִF! T]ŗXf1-/6vRZkC@R Y.;c~H>8v/P}5pb;g׺yFw e%u ά`MRDc-6PD=s&VYO g k Lh(DXUQY֖H@_h(8fCJg%XfıgYZ7zXZִF! QB]ŗXiɟ(0uIU`s..5L⼟0U4[Q8d%/dX?W]0pyͱk4^R)ہ}YZ7zXZִF! 2e]ŗXi%>g$:l5Dl5FF%VX)HhaFcNk*yC:!dueuvܥЗoͨt?R{n4~~oSF@LyD|ԕ|V[ (0'66;sނe8E{E>( X5L:qwCelO'ܔ+V"i## p՛1온#r2њ 6;@ &랏Q^H۳?l1A:7ǰUUK3M\UI"VK=_TcA H6ܝ_p9~xwtvG-ǯ#T^}GW<@Ea'Vh`+m6Corb4s3^F=Sb$baR%$+t:A5epל~M6؈uޖ<5П. x$owIVj./@{(`4VˏS|Rd(mH1 Y?_y$oCGfZ0:A./tAqC^zo\+ymtG)G$]VjB3:m1 Ee#<܏. D|'zWO_u2lDp\Q^dǥF: !@l??j*w#۔{Ѝ]J<33I=ڂ<:?YCjnbo^m1F xWֿ<.w9d 3;)Y{a[jp4߫߯L.7O*Kt0-iPgQCY:% &bM,i閧0t+ k ͧd,gYZ594b08f2c1e89290fac927bbbc4081ce8f2a9b82665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784 6287b454d7db781d7a850744573e8a503c49bc9d ) Buffons_Needle